Posts

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

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

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

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

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

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

引数をとらないコンストラクタのみでヴァリアントを作れば，いわゆる列挙型になる。…

コンストラクタの名前は：…

type 宣言を使って宣言できるデータにはヴァリアントというのもある。おおざっぱに言うと「作り方に何種類か方法があるようなデータ」。Haskellでいう代数的データ型と同じと思っていいのかな。…

レコードの型を宣言するときの注意。既存の型と同じフィールド名を使ってしまうと，先に宣言した型のフィールド名が使えなくなってしまう。たとえば前エントリの student とその値が存在している状態で：…