compiler-construction - 如何开始创建一种小型惰性求值语言的方法

Question

我正在尝试使用 List Comprehension 和 Lambda Functions 等（已经制作）构建一种与 Java 具有相似语法和语法结构的小型语言。

我现在要做的不是让它进行急切的评估，而是让这种语言懒惰地评估表达式。我不完全确定如何去做，因为我不清楚如何进行部分评估。

我做了很多谷歌搜索并没有给出答案，所以我想知道这里是否有人对此有很好的参考。

有接盘侠吗？

Answer 1

Haskell Wikibook 中的这个页面可能是一个很好的起点。

Answer 2

关于设计/开发函数式编程语言 bij Simon Peyton Jones 的论文可能 会有用。