OCaml入門

REPLの起動

$ ocaml                                                               
OCaml version 5.1.1
Enter #help;; for help.
#

shogo_tksk

そのままだと、アローキーなどが使えないので、rlwrapを使用してOCamlのREPLの機能を強化する

https://github.com/hanslub42/rlwrap

$ rlwrap ocaml

shogo_tksk

REPLを終了したいとき

# #quit;;

shogo_tksk

変数定義

let 変数名 = 式

関数定義

let 関数名 引数 ... = 式

shogo_tksk

直接インタプリタでコードを実行する
- hello.mlというファイルに書かれたOCamlコードを実行する場合

$ ocaml hello.ml

shogo_tksk

コードのファイルに簡単なテストコードを書くことができる。
例えば以下のようなコードをテストしたいとき

hello.ml

let base = 100;;
let hourly = 950;;
let incentive = 980;;

let salary x =
    if x < 30 then base + x * hourly
    else base + x * incentive

(* テストコード *)
let test1 = salary 25 = 23850
let test2 = salary 28 = 26700
let test3 = salary 31 = 29550

REPL上で #use "hello.ml";;を実行することで、テストを実行できる

# #use "hello.ml";;
val base : int = 100
val hourly : int = 950
val incentive : int = 980
val salary : int -> int = <fun>
val test1 : bool = true
val test2 : bool = true
val test3 : bool = false # テストケースが失敗
#

shogo_tksk

OCaml の if は条件分岐を行うと同時に、その評価結果として値を返す構造を持っている。このため、if を使用する際には必ずthenとelseの両方を指定する必要がある。つまり以下のような書き方もできる

let salary x =
    base + x * (if x < 30 then hourly else incentive)