プログラミング言語の基礎概念の練習問題を解くプログラムを作った(EvalML3まで) - はこべにっき ♨

プログラミング言語の基礎概念を学んでる - はこべブログ ♨ の続きです。 前の記事では、プログラミング言語の基礎概念という本を紹介した。この本では学んだことを確認するために、S(S(Z)) + Z evalto S(S(Z))のような式が正しいことを、与えられた推論規則にもとづいて導出するという練習問題が用意されている。しかし、本の中盤くらいの問題から人間ががんばって手で解くのが辛くなってくる。( 例えばこういうのを丁寧に書かないといけない https://gist.github.com/hakobe/860fd1dd9c56c1d33a33 ) 前回の記事についたブックマークの中で、id:OKU_s62 さんが以下のようにおっしゃていた。 後半の問題の導出木を書くのは人間業ではないので、導出木を生成するプログラムを書きましょう http://b.hatena.ne.jp/OKU_s62