Ocaml
書き換え可能なレコードの特殊な場合で，フィールド１つだけを持つ場合を伝統的に参照（reference）という。参照には特別な書き方がある。…
レコードを宣言するときにフィールド名の前に mutable キーワードをつけることで，書き換え可能にすることができる。…
２つのデータを比べたとき，「値として等しいこと」を構造的等価性（structural equality）という。「値として」だけでなく，メモリ上の同じ位置を占めていることを物理的等価性（physical equality）という。…
実は，文字列は書き換えが可能。たとえば次のような文字列があったとして:…
OCaml には書き換え可能なデータ構造がある。…
Not_found とか Division_by_zero とかいう例外は，じつは exn型のコンストラクタ。例外コンストラクタと呼ぶ。…
OCaml には例外処理の仕組みがある。例外を発生させるには raise を使う。raise は例外の名前を引数にとる。…
多相的な定義はレコードでもできる。次の定義は，既存のデータに「位置情報」を付け加える，というもの。…
