学习图约简的实用参考

Question

是否有任何实用的参考(与实际的例子)开始实现一个小的，懒惰的函数编程语言的图形约简？包含词法和解析步骤的引用将特别有帮助。

到目前为止，我已经阅读了Simon和向导书(SICP)中大多数函数式编程语言的实现。

Answer 1

SPJ写了两本标题非常相似的书：

• 函数式程序设计语言的实现，Simon Peyton Jones出版社，1987年。
• 实现功能语言:教程，佩顿琼斯和莱斯特。

两者都是可用的这里。第二个重点是编译和执行代码，包括第3章中的G-机器。引用其概述：

本书的主要内容是一种称为核心语言的小功能语言的一系列实现。核心语言被设计成尽可能小，所以它很容易实现，但仍然足够丰富，允许将现代非严格的功能语言翻译成它，而不会失去效率。第一章详细描述了它，其中我们还为核心语言开发了一个解析器和漂亮的打印机。附录B包含了一个核心语言程序的选择，作为测试程序，尽管这本书.这本书的主体由核心语言的四个不同的实现组成。

• 第二章介绍了基于模板实例化的最直接实现。
• 第三章介绍了G机，并说明了如何将程序编译成指令序列(G码)，并可进一步翻译成机器代码。
• 第四章对不同的抽象机器--三指令机(TIM)重复了相同的练习，其评价模型与G机的评价模型有很大的不同。提姆是最近开发的比G机，所以有更少的其他文献。因此，第四章包含了提姆的评估模型比G机器更详细的发展。
• 最后，第五章通过演示如何为并行G机编译函数程序，增加了一个新的维度。

对于每个实现，我们讨论了两个主要部分，编译器和机器解释器。编译器采用核心语言程序，并将其转换成适合机器解释器执行的形式。..。