関数型言語の技術マップ

要求開発アライアンスの定例会で『Object-Functional Analysis and Design: 次世代モデリングパラダイムへの道標』というタイトルでセッションを行うことになりました。 セッション時間が50分なので、かなり俯瞰した形での全体像の説明になりそうですが、関連する要素技術の数が多いのと、内容が込み入っているので、ブログで補足説明をすることにしました。 今回はその第一弾です。 「関数型言語の関連技術」として用意した以下の図を説明します。関数型プログラミング言語レベルの説明はScalaを対象にします。 Disclaimer2008年にScalaをはじめて足掛け4年、関数型プログラミングとは、どうも数学を使ってプログラミングしていくことらしい、ということが分かってきました。 ScalaをBetter Javaとして使うのであれば、そこまで頑張らなくてもよいのですが、関数型言

[hamamuratakuo]

「単純型付ラムダ計算」と「直感主義命題論理&自然演繹」がIsomorphism(同型)で相互変換が可能。この枠組みでは「型＝命題」、「計算＝証明」となり、コンパイルが成功すれば証明完了。プログラミングが数学の証明と同じ

[TsutomuOnoda]

Modegramming Style: 関数型言語の技術マップ

[murashit]

わかりやすい

[hakobe932]

なるへそ

[H_Yamaguchi]

後で読む。

[Dryad]

最近まさにこれが欲しかった。

[trashtoy]

武器は多いに越したことはないので学ぶ価値はあると思うけど、もしマスターできたとしてもプロジェクトで導入した時に周りがついてこれない予感ｗ