Posts

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

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

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

…

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

発生した例外を捕捉して処理するのが try。…

OCaml には例外処理の仕組みがある。例外を発生させるには raise を使う。raise は例外の名前を引数にとる。…

多相的な定義はレコードでもできる。次の定義は，既存のデータに「位置情報」を付け加える，というもの。…

多相的関数が型情報をパラメータ化できるのと同じように，ヴァリアントの定義の一部をパラメータ化することができる。…

type宣言において，コンストラクタの引数に今宣言しようとしているヴァリアントを使うことができる。つまり再帰的な宣言。…