リンク集

トップページ

OCaml Tips

• モジュールシステム紹介
• let多相紹介
• ヘテロなリスト
• 幽霊型
• OCamlでモナド
• 再帰型(Equi-recursive)
• サンタクロース問題
• デーモンの例
• Expression Problem
• ivarの必要性
• OSC2008In名古屋

ネタ記録庫

• 継続
• SEND+MORE=MONEY
• 数独
• 不動点コンビネータ
• AA折れ線グラフ
• Coq
• Agda
• Haskell
• JavaScript
• OCaml
• その他のプログラム言語
• 圏論(ドンパニ)
• その他

関数型言語によるWeb開発

ScalaByExample(訳)

限定継続

お勉強リンク

発表資料

活動記録

最新の20件

Thanks

• YEAR OF THE CAT

リンク集 †

The Caml Language †

OCaml本家サイト

The Caml Hump †

OCamlの便利ライブラリ

数理科学的バグ撲滅方法論のすすめ †

IT ProのOCamlに間する記事

ocaml-nagoya †

名古屋でOCamlなどを勉強している団体

       

Last-modified: 2008-03-21 (金) 00:49:06 (5879d)

PukiWiki 1.5.1 © 2001-2016 PukiWiki Development Team. Powered by PHP 5.6.40-0+deb8u2. Skin by YEAR OF THE CAT