OCaml
- https://ocaml.org/
- パッケージマネージャのopamを入れる
- Homebrewで入れた
opam init -yで初期化- OCaml Platform toolsを入れる
- opam install ocaml-lsp-server odoc ocamlformat utop
- ターミナルで
opam exec utopと打つとREPLが起動する ;;で実行する式を区切る# 1 + 1 ;;- : int = 2が返ってくる
- 加減乗除の命令は
+ - * /だが、整数と実数を区別している+. -. *. /.実数の場合はピリオドを追加する
- 変数の定義は
let 変数名 = 式- 変数名は小文字で始める
- 変数の値は原則変更できない
- 関数の定義は
let 関数名 引数 ... = 式 - .mlという拡張子でファイルに保存、使う場合は
#use ファイル名 - 型推論
- インタプリタが型を推論する
- 型チェック
- 正しい型が使われているかをチェックする