这周末看了王垠和未鹏大神的博客 学习了lambda calculus和传说中Graham的Y Combinator的原型！已然成为Lisp脑残粉 括号什么的语法设计真的是简洁优美又富于表达能力啊！这些东西还能扯到哥德尔不完备性定理和康托尔对角线方法上去真是让我等愚民也大开眼界 窥见了一丝数学之美以及神牛之神……
