scheme - 将 Lambda 表达式转换为 Scheme

Question

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

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

我这样做了：

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

是对的吗？如果没有，我做错了什么？

Answer 1

我不太确定那个 lambda 符号，但我认为你需要这个：

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

你可以像这样使用它：

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