Why Visual Programming Doesn’t Suck
I’m here to tell you that visual programming, and diagrammatic reasoning in particular, is a formidable tool-set if used the right way. That is, it only seems to work well if based on a solid foundation rooted in mathematics and computer science. We already abstract our code in order to make it easier to handle — doing it using visual methods such as diagrams is just another way of achieving this.
ラムダ計算基礎文法最速マスター - 貳佰伍拾陸夜日記
ラムダ計算は, 多くのプログラミング言語, とくに関数型言語の原形になっています. ラムダ計算について理解しておくことは, 多くのプログラミング言語の習得に役立つでしょう. ラムダ計算はチューリング完全で, 計算能力としてはふつうのプログラミング言語と同じです. ラムダ計算で計算を書く訓練をしておくことは, 任意の計算を関数のみを使って(他の制御構文を用いずに)書くときに役立ちます. ふつうに書いたら煩雑な処理を, 関数型言語のやり方で書くとすっきりすることが多々あり, コードを自由自在に書くためには必須の考え方と言えるでしょう. 項 ラムダ計算の式を項(term)と言います. 項は変数, 抽象, 適用のいずれかです. 変数 変数(variable)はふつう1文字で書きます. 変数には関数内の束縛変数(bound variable)か自由変数(free variable)かという区別があり
「例外」がないからGo言語はイケてないとかって言ってるヤツが本当にイケてない件 - Qiita
この記事は、Go3 Advent Calendar 2018 の８日目の記事です。 ７日目は @codehex さんによる「Go でアプリケーションとクライアントのミドルウェアを作成する方法知ってますか？」でした。 本日はネタ全開でお送りいたします。 Disclaimer（免責事項） はじめに言い訳というか、これを書いた経緯というか。 プログラミング言語をdisる人をdisる芸を見たいですね！ — yet another (@Maki_Daisuke) 2018年10月11日 というツイートをいたしまして、言った手前自分でやるか、と思い立った次第です。 なので、ネタとしてお楽しみください。 なお、炎上した場合にも、それすらもネタとして楽しむ所存ですのでアシカラズ。 それでは、いってみましょう。 Go言語がイケてない…だ…と……？ Go言語はイケてない言語としてよくdisられているが、その中
Is WebAssembly the return of Java Applets & Flash?
Jul 25 2018 In my last post on WebAssembly, I made the following claim: Some have compared WebAssembly to Java applets; in some ways, they’re very right, but in some ways, they’re very wrong. Eventually I’ll write a post about the wrong, but for now, the right: in some sense, WebAssembly is a different way of accomplishing what the JVM set out to do: it’s a common virtual machine that can be used
【保存版】プログラミングで何を学べばどんなアプリを作れるのかまとめてみました。｜Dai
追記） プログラミング教育・就活などについてツイッターでも発信しています。この記事を読んで興味を持っていただけた方がぜひフォローよろしくお願いします！ ------------------------------------------------------------------------- プログラミングで「これ創りたい！」というときに何を学んだらいいのか創りたいもの別にまとめてみました。 主にAidemy, Progate, noteのチュートリアルの教材をまとめた記事になります。これから学習するルートに従って勉強を始めると、創りたいアプリができるようになると思います。全体像はこんな感じになります。 ①Webページを創りたい まずはWebページの作り方です。お店のホームページなどを作るためには、以下の言語を学ぶ必要があります。 ・HTML ・CSS ・JavaScript ・jQ
Cforall
(C-for-all) is an open-source project extending ISO C with modern safety and productivity features, while still ensuring backwards compatibility with C and its programmers. C∀ is designed to have an orthogonal feature-set based closely on the C programming paradigm (non-object-oriented) and these features can be added incrementally to an existing C code-base allowing programmers to learn C∀ on an
How to Kill the Dragon with 9 Programming Languages
How hard is it to slay a dragon? Well, if you’re a programmer then it’s very, very hard indeed. Feast your eyes on the epic sequel to our comic on rescuing the princess with code – killing the dragon with programming (when Stackoverflow is down): This comic was created by the developers behind Toggl Track – the world’s most accurate time tracking app. And if Toggl Track is indeed accurate – and we
連載: IBM Watson Workspace #鬼わか アプリケーション開発: 第 7 回: IBM Watson Workspace で AI を利用したアプリ連携の実現 #鬼わか 解説（前編）
IBM Related Japanese technical documents - Code Patterns, Learning Path, Tutorials, etc. Please open new issue/pull requests in either English or Japanese if you would have any feedback or you would like to contribute this repo. We provide mainly "Japanese contents" by markdown text. IBM Developerの最新情報は https://developer.ibm.com/ にアクセスし、英語のコンテンツを参照してください。 このリポジトリは、IBM Developer Japan Webサイトで公開していた
Mozilla、安全性にフォーカスしたコンパイル型言語「Rust 0.1」をリリース | OSDN Magazine
MozillaおよびRustコミュニティは1月20日、新しいプログラミング言語「Rust 0.1」を公開した。Rustはメモリへの安全なアクセスや並列性にフォーカスしたという言語で、C/C++のように静的な型機構を持つコンパイラ型言語となる。WindowsおよびMac OS X、Linuxに対応する。 RustはGraydon Hoarce氏が2006年に開始し、Mozillaのメンバーも開発に関わっている。静的型付けのオブジェクト指向言語で、C/C++のようなコンパイラ型の言語となる。競合や共有といったことが発生しない独自のポインタ機構を持ち、バッファオーバーフローや初期化忘れ、NULL参照などが発生せず解放も不要というメモリ管理機構を備えている。ガベージコレクション機能もオプションで利用できる。文法に付いてはC/C++に近い点もあるが、PerlやPython、Rubyといった動的言語の
使う気が無い人向けのPowerShell入門
ひどいタイトルだな(^^; このシリーズは、PowerShellの面白さを、実際に触る気が無いUnix系のスペシャリストに対して伝える事を目的にしています。 この記事を読んで実際に触ってみる、という事は想定していません。むしろ一生触らない、と思っている人を対象とします。 生涯触る気は無いけど、どういう物かは知りたい！という人は、まさに本シリーズのターゲットです。 想定読者Windowsはほとんど知らないawkをそれなりに、Javaをかなり知っている 正確性よりも魂を伝える事を優先するので、細かい部分には間違いがあります。 実際にPowerShellを勉強するつもりがある人はPowerShellを実際に触る人向けの話を参照してください。 - パイプ Oriented 環境、PowerShell awkから学ぶPowerShell - 考え直す言語、PowerShell 言語要素の決定はユーザ
MS、グーグルのウェブプログラミング言語「Dart」に不支持を表明
Googleがウェブプログラミング言語「Dart」でウェブを改良したいと考える中、Microsoftが自らをDartの重要な協力者となりうる存在ではなく、むしろ異議を申し立てる立場にあるとの姿勢を明らかにした。 ウェブサイトにある程度高度な機能を付与するプログラミング言語としてはJavaScriptが用いられているが、GoogleはDartでJavaScriptの不備を補いたいと考えている。しかし、Microsoftは米国時間11月22日付のブログ投稿で、JavaScriptの改善こそ進むべき道だと主張した。 MicrosoftのJavaScriptチームに属する5人のメンバーは、Dartの売り込み文句は「JavaScriptには根本的な欠陥があり、（大規模化という）シナリオを推し進めるにはJavaScriptから『決別』する必要がある」と主張しているとした上で、「われわれはこのような考え
『Programming Windows 8 Apps』 の第1章を翻訳しました - Windows 開発統括部 Blog - Site Home - MSDN Blogs
Microsoft is holding an AI Agents Hackathon, and we want to see what you can build with Python! We'll have 20+ live streams showing you how to build AI agents with Python using popular agent frameworks and Microsoft technologies. Then, you can submit your project for a chance to win prizes, including a Best in Python prize!
Xtend - Modernized Java
Java with spice! Xtend is a flexible and expressive dialect of Java, which compiles into readable Java 8 compatible source code. You can use any existing Java library seamlessly. The compiled output is readable and pretty-printed, and tends to run as fast as the equivalent handwritten Java code. Get productive and write beautiful code with powerful macros, lambdas, operator overloading and many mo
The Programming Languages Beacon
The Programming Languages Beacon v17 - September 2022 This table contains a list of major software products or utilities, with details about the programming languages used to implement them. Information on this is difficult to find, and a few small mistakes might have escaped the author's attention. Corrections, suggestions for additions or even references are welcome. The list is not supposed to
型推論と型検査、静的な型つけと動的な型つけ、強い型つけと弱い型つけ - sumiiのブログ
ついでに追加。 型推論：変数や式の型をプログラマが宣言しなくても、言語処理系が文脈から推論してくれる機構。MLとかHaskellとか。 型検査：変数や式の型が合っていることを言語処理系が（普通は静的に）チェックしてくれる機構。CとかJavaとか、MLやHaskellも。 静的な型つけ：プログラムの実行前に型を検査する機構。MLとかHaskellとかCとかJavaとか。 動的な型つけ：プログラムの実行中に型を検査する機構。LispとかSchemeとかPerlとか。 強い型つけ：検査を通れば、安全さ(safety)が保証される、という（普通は静的な）型つけ。MLとかHaskellとかJavaとか。Javaはバグがあったりしたので少し怪しいですが。 弱い型つけ：検査を通っても、安全さ(safety)は保証されない、という型つけ。CとかPascalとか。 安全さ(safety)：プログラムが言語仕
この言語は難しいぞ！という外国語は？
ギネスブックに、パプアニューギニアのアメル語が「最も複雑な言語」として 挙げられているようです。単に，単語の数や変化の数で判定しているらしい。 イヌイット語（エスキモー），ハイダ語（米国インディアン，ハイダ族）， タバサラン語（旧ソ，ダゲスタン共和国）もあげられているようです。 アメル語・ハイダ語は資料がなく不明ですが、イヌイット語・タバサラン語は、 少し資料がありますので解説します。 言語は形態から、孤立語，膠着語，屈折語，抱合語に分けられますが、語形変化 のない孤立語が文法的に易しく、順に抱合語が難しいといえます。 膠着語は、ある単語に接頭辞や接尾辞のようなものを付加して、文中での文法 関係を示します。日本語の助詞などはいい例です。屈折語は動詞・名詞などが 語形変化して文中での文法関係を表します。抱合語は、独立して発音されない 要素の組み合わせで文を作ることができ、文全体を１単語と見な
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
The Julia Programming Language
Swiftのエラーハンドリングはなぜ最先端なのか - Qiita
国内の開発者が使っている言語、1位C、2位VB、3位Java。アジャイル開発は2割が採用、半数以上がウォーターフォール。IDC調べ
Dart Programming Language Specification Draft Version 0.01