この記事は言語実装 Advent Calendar 2016 7日目の記事です。 表題の通りC++で型なしラムダインタプリタを書きました. githubへのリンクは以下です. https://github.com/pointwiseproduct/untyped_lambda Linuxではmakeすればバイナリファイルを生成するはずです.(Ubuntuで動作確認をしました.) 概要 untyped_lambdaはC++によって記述された,ラムダ計算のインタプリタです. プログラムの使用方法 untyped_lambdaを実行するには,式の書かれたファイルのパスを以下のようにコマンドラインから引数として渡します. untyped_lambda inputfile このとき,以下のオプションを後続して渡すことで動作を切り替えられます. -h : ヘルプメッセージを表示する. -o : 式の評

