OCamlメモ

https://twitter.com/kagamihr/status/880594087606312962

というOCaml推しのツイートをみたので、インストールだけはしてみることに。

• OCaml.org
• Wikipedia
  • オーキャムル、オキャムル、オーキャメル、（Camlの部分は「らくだ」）
  • 発音記号を見ると「オゥキャムル」っぽい。
• Code Examples
• Try OCaml（オンラインでの実行環境）
• GitHubでのソースコード
• OCaml.jp
• Install

brew install ocaml
brew install opam

• letとlet recって何が違うんだろう。
• ocamlのREPLのreadlineって^Pとかつかえないのかな。
  • utopを使うらしい

$ ocaml
        OCaml version 4.04.2

# let sq x = x * x;;
val sq : int -> int = <fun>
# sq 10;;
- : int = 100
# sq (sq 3);;
- : int = 81
# ^D

• セミコロン二つに慣れない;;

# let fact n = if n <= 2 then n else n * fact(n-1);;
Error: Unbound value fact
# let rec fact n = if n <= 2 then n else n * fact(n-1);;
val fact : int -> int = <fun>
# fact 3;;
- : int = 6
# fact 10;;
- : int = 3628800

• もしかして、recはrecursive (recursion)の意味かな？

# let s = 12 :: 34 :: 56 :: [] ;;
val s : int list = [12; 34; 56]
# let t = 12::34::56::[];;
val t : int list = [12; 34; 56]
# let u = [12;34;56];;
val u : int list = [12; 34; 56]
# s;;
- : int list = [12; 34; 56]
# t;;
- : int list = [12; 34; 56]
# u;;
- : int list = [12; 34; 56]
# s = t;;
- : bool = true
# t = u;;
- : bool = true

–