声明式编程的历史
History of Declarative Programming

原始链接: https://shenlanguage.org/TBoS/tbos_15.html

上一页 下一页 上移 想在此页面投放广告?请访问“联系”链接。 由 Shen Technology 制作 (c) Mark Tarver,2025年6月

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

原文

 


 

 

Previous

Next

Up


Want to advertise on this page?
Go to the Contact link.

Built by Shen Technology (c) Mark Tarver, June 2025

联系我们 contact @ memedata.com