ラムダ計算での実装

Haskellでもできる？

↑に書いていこう

基本は

code:lisp

((lambda (x) x) 'y) ; (λx.x)y

((lambda (x) 'y) 'z) ; (λx.y)z

code:lisp

(define T (lambda (x y) x))

(define F (lambda (x y) y))

ラムダ計算の処理系

parsec

js