将Lambda表达式转换为Scheme

时间:2011-09-18 20:18:51

标签: scheme lambda-calculus

我有这个lambda lambda表达式:λx。(λy。(λz.x(yz)))

我正在尝试用它编写一个Scheme表达式。

我这样做了:

(define (f x)(lambda(y z) (f (y z))))

是吗?如果没有,我做错了什么?

1 个答案:

答案 0 :(得分:2)

我不太确定lambda符号,但我认为你需要这个:

(define (f x) (lambda (y) (lambda (z) (x (y z)))))

你可以像这样使用它:

(((f sqrt) 1+) 3)
2.0