4.3〜5.2まで。 4.4 型推論が完全である（完全性）＝OCamlは惜しいが完全ではない（らしい） 健全性＝型チェックが通ったならば、その後に型に関する実行時エラーとなることはない。 4.6 .mlファイルではインタプリタと違い、;;が不要とあるが、 正しくは省…

2.3〜4.2まで。 別途議論した点のみ記述。 2.3 (^);; string -> string -> string = (+);; int -> int -> int = となり、型が違うので文字列を(+)で連結できない。 2.4 bool型の比較関数を調べると(&&)の他に(&)もある*1。 (&)ってもしかして短絡評価？ と思…