サクサク読めて、アプリ限定の機能も多数！
タグをすべて表示
関連タグはありません
タグの絞り込みを解除
Index of modules Index of module types Index of types Index of exceptions Index of values Index of keywords Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy and Jérôme Vouillon
This domain may be for sale!
筆者 住井 英二郎 「プログラミング言語理論」という研究分野がある。この分野の研究者たちは，「ML」「Haskell」「Scheme」あるいは「λ計算」「π計算」（円周率計算のことではない）など，多くのプログラマにとっては聞いたこともない言語やモデルについて，日夜研究している。ただ，そのような言語は「難しい」「役に立たない」などと思われがちだ。 この連載では，こうしたプログラミング言語やソフトウエア科学の様々な研究を，できるだけ普通のプログラマやエンジニアにもわかりやすく（どちらかといえば理論よりも実用に重点をおいて）紹介していく。 更新は毎月第2水曜日（1月のみ第3水曜日）
ランキング
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
1
Catch me if you can Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml David Teller LIFO, Universit´e d’Orl´eans David.Teller@univ-orleans.fr Arnaud Spiwack LIX, ´Ecole Polytechnique Arnaud.Spiwack@lix
OCaml - The OCaml Manual
初心者が書いた OCaml 入門
数理科学的バグ撲滅方法論のすすめ---目次 | 日経 xTECH（クロステック）
