随笔分类 -  编程语言理论

摘要：Y组合子：\f.(\x.f(xx))(\x.f(xx))，接受一个函数，返回一个高阶函数 Y组合子用于生成匿名递归函数。 什么叫匿名递归函数，考虑以下C语言递归函数 int sum(int n) { return n == 0 ? 0 : n + sum(n-1); } 这个函数在内部递归调用了自身 阅读全文

摘要：原博客链接：http://blogs.msdn.com/b/ericlippert/archive/2010/10/22/continuation-passing-style-revisited-part-two-handwaving-about-control-flow.aspx上一节说到：我们可... 阅读全文

摘要：这篇文章是在阅读Eric Lippert大神的MSDN Blog文章时同步写成的，其中主要是各种翻译，同时还混杂自己阅读文章的笔记和感想。原博文地址http://blogs.msdn.com/b/ericlippert/archive/2010/10/21/continuation-passing-... 阅读全文