可运行的线上 Lambda 演算

2022-04-17 01:52:12 +08:00
 xieyuheng

https://readonly.link/articles/cicada-lang/lambda/-/docs/tests/nat-church.md

项目地址：https://github.com/cicada-lang/lambda

1678 次点击
所在节点    程序员
3 条回复
jiangzhizhou
2022-04-17 05:26:03 +08:00
在国外的大学学过，你要是面试问 Lambda Calculas 。哈哈哈哈哈哈哈哈
jiangzhizhou
2022-04-17 05:27:19 +08:00
Scheme 是世界上最好的编程语言
Knuth
2022-04-17 10:12:14 +08:00
这学期选的课也教这

这是一个专为移动设备优化的页面（即为了让你能够在 Google 搜索结果里秒开这个页面），如果你希望参与 V2EX 社区的讨论，你可以继续到 V2EX 上打开本讨论主题的完整版本。

https://www.v2ex.com/t/847425

V2EX 是创意工作者们的社区，是一个分享自己正在做的有趣事物、交流想法，可以遇见新朋友甚至新机会的地方。

V2EX is a community of developers, designers and creative people.

© 2021 V2EX