λ演算解释器 如所述的lambda演算的解释器 语法 : <λexp>::= |(λ <λexp>) |(<λexp> <λexp>) 例子: >> (lambda x x) λx. x >> (lambda x y) λx. y >> x x >> 5 5 >> ((lambda x 5) 3) 5 >> (((lambda x (lambda y x)) 3) 5) 3