05 2014 档案

摘要：\[\newcommand{\mt}[1]{\text{#1}} \newcommand{\mE}{\mathcal{E}} \newcommand{\tup}[1]{\left}\]环境类似于其他语言（C++、JAVA等）的“符号表”。 所谓符号表，是一张将变量名与变量代表的内容联系起来的一张表。... 阅读全文

摘要：\(\newcommand{\mt}[1]{\text{#1}}\)关于语法我们现在用的这种充满括号和前缀表达式的语法叫做“S表达式”。 S表达式看似奇怪，其实是一种简约风格的语法。 S表达式的表达式一般是这么设计的： 首先第一个词表示这个表达式的类别（如if表达式还是let表达式）， 然后后面依次... 阅读全文

摘要：或许在加入continuation之前要先讲讲费这么大劲做这个有什么意义。 毕竟用不用continuation的计算结果都是一样的。 不过，这是一个兴趣使然的系列，学习这些知识应该完全出于好奇与好玩的想法。 所以我才不会告诉你们通过控制continuation可以实现call-with-curren... 阅读全文

摘要：这一篇接在第一篇lambda演算的后面。讲讲一些数学知识。经常有些看似很容易理解的东西，一旦要描述得准确无误，就会变得极为麻烦。 软件工程里也有类似情况：20%的代码实现了核心功能，剩下80%的代码处理边界情况。 于是，所谓的准确描述里的大部分文字都在说明边界情况，核心概念只有寥寥几字——好比一件打... 阅读全文