2014年5月2日
简单易懂的程序语言入门小册子（1.5）：基于文本替换的解释器，递归定义与lambda演算的一些额外说明
摘要： 这一篇接在第一篇lambda演算的后面。讲讲一些数学知识。经常有些看似很容易理解的东西，一旦要描述得准确无误，就会变得极为麻烦。 软件工程里也有类似情况：20%的代码实现了核心功能，剩下80%的代码处理边界情况。 于是，所谓的准确描述里的大部分文字都在说明边界情况，核心概念只有寥寥几字——好比一件打... 阅读全文
posted @ 2014-05-02 11:41 古霜卡比 阅读(1019) 评论(0) 推荐(2) 编辑