lisp((lambda (x) x) 'y) ; (λx.x)y ((lambda (x) 'y) 'z) ; (λx.y)z
'y
lisp(define T (lambda (x y) x)) (define F (lambda (x y) y)) (T T F) ; #<closure (T . _)> ←Tのこと