この記事は言語実装 Advent Calendar 2016 7日目の記事です。

表題の通りC++で型なしラムダインタプリタを書きました．
githubへのリンクは以下です．
https://github.com/pointwiseproduct/untyped_lambda
Linuxではmakeすればバイナリファイルを生成するはずです．(Ubuntuで動作確認をしました．)

概要

untyped_lambdaはC++によって記述された，ラムダ計算のインタプリタです．

プログラムの使用方法

untyped_lambdaを実行するには，式の書かれたファイルのパスを以下のようにコマンドラインから引数として渡します．

このとき，以下のオプションを後続して渡すことで動作を切り替えられます．

(* ... *)で囲むことによって，ソースコードの任意の位置にコメントを書き込むことができます．
コメントは空白と同じ扱いになります．

式はピリオド.で区切られます．以下はxとy zとu v wの式です．
空白は字句解析時に無視されます．

x.  
y z.  
u v w.

例えば引数xを取りxを返すラムダ式を記述するには/x. x.とします．
複数の引数を取る場合は/x y z. ...と記述するか，1引数のラムダを連ねてください．

(* λx. ... *)
/x. ...
(* λx. λy. λz. ... *)
/x y z. ...
/x. /y. /z. ...

左辺トークンに=で右辺を設定することで，代入式として扱うことができます．
代入式そのものは評価されません．
代入式の左辺に用いられたトークンは，以降別の式で記述されるたびに右辺の式として評価されます．

0 = /f x. x.
1 = /f x. f x.
2 = /f x. f (f x).
3 = /f x. f (f (f x)).
add = /m n. m succ n.
(* ... *)
add 3 3.

-> /f x. f (f (f (f (f (f x))))).

Zコンビネーターで階乗を書いたけど無限に再帰してうまく動かない；；