Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 声明式编程的历史 (shenlanguage.org) 8 分，由 measurablefunc 1小时前发布 | 隐藏 | 过去 | 收藏 | 1 条评论 rtpg 3分钟前 [–] 一份非常有趣的历史文献，但我不太相信术语解释的准确性。 相关问题：有人知道是否有任何文献深入探讨 Church 如何得出 Church 数字的吗？ 我理解它们是如何工作的，等等，但至少我看到的他的论文似乎只是凭空给出了定义。 Church 数字是否捕捉了当时领域中已知的自然数的某种规范表示？是否有任何笔记或其他资料提供更多见解？ 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索：