![[PukiWiki]](image/caml3.jpg "[PukiWiki]")
トップページ
OCaml Tips
- モジュールシステム紹介
- let多相紹介
- ヘテロなリスト
- 幽霊型
- OCamlでモナド
- 再帰型(Equi-recursive)
- サンタクロース問題
- デーモンの例
- Expression Problem
- ivarの必要性
- OSC2008In名古屋
ネタ記録庫
関数型言語によるWeb開発
ScalaByExample(訳)
限定継続
お勉強リンク
発表資料
活動記録
最新の20件
2016-02-23
2015-05-06
2015-05-04
2014-03-12
2012-05-22
2012-03-16
2012-03-03
2012-02-27
2012-02-03
2011-12-28
2011-12-10
2011-10-10
2011-09-29
2011-09-28
Thanks
XocamlbookX
| 場所 | 誤 | 正 |
| 1章-OCamlに触れる | ||
|---|---|---|
| 2章-言語の基礎 | ||
| P.085 | val length1 : | val length : |
| P.092 | 無名関数(fun x - t x *. rate) | 無名関数(fun x -> x *. rate) |
| P.093 | (fの型は(f : unit - t 'a)となります) | (fの型は(f : unit -> 'a)となります) |
| 3章-型を理解する | ||
| 4章-モジュールシステム | ||
| 5章-オブジェクト指向機能 | ||
| P.158 | row polymorphismは「列多相」よりは「行多相」の方が適切かもしれません(間違いではありませんが) (列=columnという考え) | |
| P.162 | ?footnoteが消滅？ | "Java等の感覚で言うところのコンパイルが通れば"といった脚注 |
| 6章-標準ライブラリの利用 | ||
| 7章-OCamlを使ってみよう | ||
| 8章-OCamlあれこれ散策 | ||
| 索引 | ||
| P.194 | 'a Lazy.t の型が 'a lazyl_t に | 'a lazy_t |
| P.259 | 直和型(な行にある) | た行("直積型"と"通信プロトコル"の間) |
