==============================================================================
== 単純な字句解析器・構文解析器・プリティプリンタ
==============================================================================

文献[1]p.150-151問11.7の解答例である．
「MLでプログラミングしてみることを勧める．」とあったのを受けてML系の言語の1つであるOCamlを用いてプログラミングされている．

コマンドラインから make とタイプすると lambda という実行ファイルが生成される．実行すると (vi)のような対話が可能である．

以下の式も構文解析可能である．

let factorial = (fix (fn x => (fn n => (case n of 1(x) => 1, 2(y) => (x (n - 1)))))) in (factorial 10) end;

[1] 大堀 淳, ジャック ガリグ, 西村 進: コンピュータサイエンス入門 アルゴリズムとプログラミング言語, 岩波書店 (1999)

2020/08/12 作成