OCaml超入門

某大学課題でOCamlを使うことになったので導入から簡単な文法まで

OCamlとは

強い静的型付け言語です。Oが大文字ぐらいには知識がありますよね？

Ubuntu環境ではOCamlと入力したらいけそう。OSXだとこちらの記事を参照。

$ brew install rlwrap
$ echo 'alias ocaml="rlwrap ocaml"' >> ~/.bashrc

こうするとctrl + lでコンソールをクリアできたりして便利に使えるようになる。

すでにプログラミング言語を1つ以上知っている方を想定します。おそらくそのプログラミング言語と（大きく）異なる点は

OCamlではイコールひとつで真偽値判定をします。たとえばif n = 0 then A else Bという形をしています。

浮動小数点数同士の演算では+や/の代わりに+.や/.を使います。ただしイコールはどちらも=です。

OCamlでは否定はnot Aで表します。

無名関数の宣言は

fun x -> x * x;;

のようにすればよいです。これをfという名前の関数にしたいのであれば

let f = fun x -> x * x;;

とすればよいですね。実際f 10は100を返します。

名前をつけたいのであれば最初から

let f x = x * x;;

とするのが簡単ですね。この内部構造が上記のように展開されていると考えたらよさげです。

関数型言語（というかラムダ計算）の特性ですが，関数も値と考えるのですべて定義はletを用います。letで宣言された変数には再代入ができません。

Schemeなどと違ってOCamlでは関数の部分適用が可能です。
たとえば

let f x y = x + y;;

としましょう。これは

let f = fun x y -> x + y;;

と等価であり，さらに

let f = fun x -> fun y -> x + y;;

と等価です。

ここで

let g = f 100;;

としますと，gは引数を1つもち，その引数に100を加えた数を返す関数となります。
もともとのfの第一引数に100が入ったと考えてください。

関連するものとしてタプルがあります。タプルに関しては省略するので各自お調べください。
リストでは同じ型をもつ複数の要素をまとめます。連結リストです。

let list = [1; 2; 3];;

のように各要素を;で区切って宣言されます。先頭に付け加えたいときは

0 :: list;;

としてあげればよく，2つのリストを連結させたいときは

list @ [4; 5];;

としてあげます。

すごく面白いのですが書くと長くなるのでここをご参照ください。

ひとつ具体例をあげましょう。
0からnまでの整数の和を返す関数sum_to nは次のように書かれます。

sum_to.ml

let rec sum_to n = if n = 0 then 0 else n + sum_to (n-1);;

注意すべきは以下の点でしょう。