ラムダ計算インタプリタ

Mercury でラムダ計算＋整数のパーサと評価器を作りました．

syntax.m

parser.m

eval.m

lambda.m

コンパイル

$ mmc --make lambda
Making Mercury/int3s/lambda.int3
Making Mercury/int3s/eval.int3
Making Mercury/int3s/syntax.int3
Making Mercury/int3s/parser.int3
Making Mercury/ints/eval.int
Making Mercury/ints/lambda.int
Making Mercury/ints/parser.int
Making Mercury/ints/syntax.int
Making Mercury/cs/eval.c
Making Mercury/cs/lambda.c
Making Mercury/cs/parser.c
Making Mercury/cs/syntax.c
Making Mercury/os/eval.o
Making Mercury/os/lambda.o
Making Mercury/os/parser.o
Making Mercury/os/syntax.o
Making lambda

実行

$ ./lambda
40