scheme - ラムダ式をスキームに変換する

Question

私はこのラムダラムダ式を持っています: λx.(λy.(λz.x(yz)))

それからScheme式を書き込もうとしています。

これは私がしました：

(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