繰り返しの構造を関数（再帰関数）にすることもできる。…

入出力など，副作用のある計算をするときには式を評価する順番が重要になる。OCaml にもそのための制御構造（control structure）がある。…

let で名前の付けられる式が値でない場合，多相性に制約がつくことがある。値でないとはたとえば参照などだ。…

配列はリストと似ているけど…

実は，文字列は書き換えが可能。たとえば次のような文字列があったとして:…

２つのデータを比べたとき，「値として等しいこと」を構造的等価性（structural equality）という。「値として」だけでなく，メモリ上の同じ位置を占めていることを物理的等価性（physical equality）という。…

レコードを宣言するときにフィールド名の前に mutable キーワードをつけることで，書き換え可能にすることができる。…

書き換え可能なレコードの特殊な場合で，フィールド１つだけを持つ場合を伝統的に参照（reference）という。参照には特別な書き方がある。…

OCaml には書き換え可能なデータ構造がある。…

Not_found とか Division_by_zero とかいう例外は，じつは exn型のコンストラクタ。例外コンストラクタと呼ぶ。…