Posts
繰り返しの構造を関数（再帰関数）にすることもできる。…
入出力など，副作用のある計算をするときには式を評価する順番が重要になる。OCaml にもそのための制御構造（control structure）がある。…
let で名前の付けられる式が値でない場合，多相性に制約がつくことがある。値でないとはたとえば参照などだ。…
書き換え可能なレコードの特殊な場合で，フィールド１つだけを持つ場合を伝統的に参照（reference）という。参照には特別な書き方がある。…
レコードを宣言するときにフィールド名の前に mutable キーワードをつけることで，書き換え可能にすることができる。…
２つのデータを比べたとき，「値として等しいこと」を構造的等価性（structural equality）という。「値として」だけでなく，メモリ上の同じ位置を占めていることを物理的等価性（physical equality）という。…
実は，文字列は書き換えが可能。たとえば次のような文字列があったとして:…
OCaml には書き換え可能なデータ構造がある。…
