将 Lambda 表达式转换为方案
我有这个 lambda lambda 表达式： λx.(λy.(λz.x(yz)))
我正在尝试用它编写一个方案表达式。
我这样做了：
(define (f x)(lambda(y z) (f (y z))))
是这样吗？如果不是，我做错了什么？
I have this lambda lambda expression : λx.(λy.(λz.x(yz)))
I'm trying to write a Scheme expression out of it.
I did this:
(define (f x)(lambda(y z) (f (y z))))
Is that right? If not, what am I doing wrong?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
我不太确定 lambda 表示法，但我认为你需要这个：
并且你可以这样使用它：
I'm not quite sure about that lambda notation but I think you need this:
and you can use it like this: