Ocamlと直接関わるトピックではないが、講義中にまとめたメモ。 ぶっちゃけ理解してないけど書くこと無いので。 λ式構文 e(λ式)::＝ x（変数） | λx,e （λ抽象） | e1 e2 （関数適用） λx,eはOcamlの fun x -> e と同様。 xを引数にe型の値を返すの意 ex)表…

前回はデータ型や演算子などの基本作法を扱った。 今回はCamlの中心的な特徴となる型推論と関数を扱う。 型推論 前回のコードを見ればわかると思うが、ユーザーがCamlは型を明示せずとも自動で判別を行ってくれる。これが型推論である。 当然明示的に指定す…

講義があまりに退屈なので一人でまとめてみる。 利用環境 詳細はOcaml.jpにある。 バッチコンパイルも当然可能だが、基本的にはインタプリタを利用する。 とりあえずは開発ではなく学習が目的故、ここでもインタプリタを主に使うことにする。 インタプリタは…