翻译lambda表达式到方案

Question

我有这样的λlambda表达式：λx（λy（λz.x（YZ））。）

我试图写一个计划表达出来的。

我这样做：

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

是吗？如果不是，我做错了什么？

Answer 1

我不太清楚有关拉姆达格式，但我认为你需要这样的：

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

，你可以使用它像这样：

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