У меня есть лямбда-лямбда-выражение: λx. (Λy. (Λz.x (yz)))
Я пытаюсь написать из него выражение Scheme.
Я сделал это:
(define (f x)(lambda(y z) (f (y z))))
Это правильно? Если нет, то что я делаю не так?
Я не совсем уверен насчет этой лямбда-нотации, но я думаю, что вам нужно это:
(define (f x) (lambda (y) (lambda (z) (x (y z)))))
, и вы можете использовать его так:
(((f sqrt) 1+) 3) 2.0