
编程语言原理
文章平均质量分 86
DavidGuru
(Common Lisp)
展开
-
『惰性求值』初探
首先,以一个经典的问题来引入惰性求值1的概念:能否用定义函数的方式定义出if2控制构造?.......原创 2016-01-22 12:19:31 · 667 阅读 · 0 评论 -
将语言编译为 Lambda Calculus(译)
(注:原文发表于 http://matt.might.net/articles/compiling-up-to-lambda-calculus/)我教授的编译器课程总是由一节关于 λ 演算的完整介绍开始。It leaves behind only the dedicated.Barendregt is a helluva drug.λ 演算是一门微型编程语言。尽管它只包含了函数应用、变量引用以及 ......翻译 2016-01-22 12:26:29 · 667 阅读 · 0 评论