Calculus of Construction on Web ヘルプ Powered by CoqInCoq, js_of_ocaml, and Coq
Calculus of Construction on Web ヘルプ Powered by CoqInCoq, js_of_ocaml, and Coq
※注意 現在のElmは、これを書いた時とはかなり別物になっています。そのためElmを学ぶにはこの資料は適切ではありません。Functional Reactive Programmingの習得には参考になると思います。 ===== ElmはHaskellと同じく純粋関数型言語のひとつで、ブラウザ上で動くアプリケーションの作成に特化しています。目に見えるものがすぐに作れるなど、関数型プログラミングやFRP(Functional Reactive Programming)の入門によい面がいくつかあります。JavaScriptなど型のない手続き型言語に慣れた人向けに関数型プログラミングのイメージを掴んでもらうことを目的にしています。Read less
λx…yz.M for λx…y.λz.M λx.M N for λx.(M N) (x M) for ((x) M) (L M N) for ((L M) N) function(x,…,y,z){ return M } for function(x,…,y){ return function(z){ return M } } x(M) for (x)(M) L(M)(N) for (L(M))(N) function(x,…,y,z) M for function(x,…,y) function(z) M x(M) for (x)(M) L(M)(N) for (L(M))(N) code1 (function(x){ return x })(a) run code1 code2 (function(x,y){ return x })(a) run code2 code3 var k
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く