Functional Programmingちょっと寄り道ー構文解析の話(オプショナル) 現在までの処理系には、ミニOCaml言語プログラムの構文解析を行ってくれる部分がないので、 たとえば、if 2=-1 then 1*2 else 1*(2+3) という式を、 If (Eq(IntLit 2, IntLit (-1)), Times(IntLit 1, IntLit 2), Times(IntLit 1, Plus(IntLit 2,IntLit 3))) というように exp型の式として書かなくてはならず、入力が大変であり、間違いやすい。 もし、 parse "if 2=-1 then 1*2 else 1*(2+3)" とすると、上記のexp型の式を生成してくれる関数parseがあれば、大変に便利 である。 ここで、「構文解析する」という言葉を使ってきたが、正確には以下の2つの プログラムから構成される。 字句解析器 (l
