第3回プログラミングの基礎読書会まとめ

4.3〜5.2まで。

4.4

型推論が完全である（完全性）＝OCamlは惜しいが完全ではない（らしい）
健全性＝型チェックが通ったならば、その後に型に関する実行時エラーとなることはない。

4.6

.mlファイルではインタプリタと違い、;;が不要とあるが、
正しくは省略する（できる）が正しい。
以下のmlファイルは正しく利用できる。

let kyuyo x = 0
let kyuyo2 x = 0 ;;

(* 以下インタプリタ *)
# #use "4.6.ml";;

詳しくはOCamlチュートリアル#;;と;、使ったり、削ったり。を参照。
http://mirror.ocamlcore.org/ocaml-tutorial.org/ja/the_structure_of_ocaml_programs.html

5.2

『我々はifという式で戦う』