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

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