MINICAML — MiniML v10 の SML 処理系で動かす
ページ版 2026-08-17e
1996年の
minicaml.sml（859行・Caml Light の MINICAML を Standard ML に移したもの）を
そのまま読み込み、その上で MINICAML の式を評価します。
文の終わりは
; 1個です。使えるのは
let / let rec / function / -> / 適用 / , / :: / + - * / = <> < > <= >= / not / write_int / quit
落とし穴: function の中にさらに
function を書くときは
内側を括弧で囲んでください。囲まないと内側が
| を自分の場合として
飲み込みます（本物の Caml と同じ挙動）。