……和“Non-strict Semantics”并不是一回事，但“Term Re-Writing”和“Graph Reduction”关系极其紧密。西蒙·佩顿·琼斯的书《The Implementation of Functional Programming Languages》和《Implementing Functional Languages: a tutorial》都是极佳的作品。现在两本都已经绝版了，不过网上都能找到。下面这些参考资料也很有帮助……http://www.google.com/search?q=implementing+functional+langu... http://www.google.com/search?q=graph+reduction+term+rewritin...
…is not the same thing as "Non-strict Semantics", but "Term Re-Writing" is closely allied with "Graph Reduction. Simon Peyton-Jones' books "The Implementation of Functional Programming Languages" and "Implementing Functional Languages: a tutorial" are excellent works. Now out of print, they can both be found on-line. The following references also help ... http://www.google.com/search?q=implementing+functional+langu... http://www.google.com/search?q=graph+reduction+term+rewritin...
西蒙·佩顿·琼斯的《Implementing functional languages: a tutorial》http://research.microsoft.com/en-us/um/people/simonpj/Papers... 非常棒，展示了运行时（runtime）的不同实现策略。
"Implementing functional languages: a tutorial" Simon Peyton Jones http://research.microsoft.com/en-us/um/people/simonpj/Papers... Is very good and shows different strategies for the runtime.
……涵盖命令式语言（尽管 Appel 和 Ginsburg 专门用了一章讲函数式语言，包括 strict 和 lazy 两种类型，并讨论了一些优化挑战），所以如果你想学怎么实现函数式语言……S. L. Peyton Jones 等人的《The Implementation of Functional Programming Languages》（1987），A. W. Appel 的《Compiling with Continuations》（1992）。我的天，这些书可真够老的！但遗憾的是，我……
…cover imperative languages (although Appel & Ginsburg devote a chapter on functional languages, both of strict and lazy variety and discuss some optimization challenges), so if you want to learn about implementing functional languages... S. L. Peyton Jones et al. "The Implementation of Functional Programming Languages" (1987) A. W. Appel "Compiling with Continuations" (1992) Holy fatcats, those are some old books! But sadly, I am…
……此外，还有《Essentials of Programming Languages》[5]、保罗·威尔逊的《An Introduction to Scheme and its Implementation》[6]，以及一些我还没读过的，比如西蒙·佩顿·琼斯和大卫·莱斯特的《Implementing functional languages: a tutorial》[7]。[1] http://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_H... [2] http://norvig.com/lispy.html [3] http://norvig.com/lispy2.html [4] http://mitpress.mit.edu/sicp/full-text/book/book.html…
…additionally, there is the Essentials of Programming Languages[5], Paul Wilson's An Introduction to Scheme and its Implementation[6], and some things I haven't read, like Simon Peyton Jones and David Lester's Implementing functional languages: a tutorial[7]. [1] http://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_H... [2] http://norvig.com/lispy.html [3] http://norvig.com/lispy2.html [4] http://mitpress.mit.edu/sicp/full-text/book/book.html…
……和“Non-strict Semantics”并不是一回事，但“Term Re-Writing”和“Graph Reduction”关系极其紧密。西蒙·佩顿·琼斯的书《The Implementation of Functional Programming Languages》和《Implementing Functional Languages: a tutorial》都是极佳的作品。现在两本都已经绝版了，不过网上都能找到。下面这些参考资料也很有帮助……http://www.google.com/search?q=implementing+functional+langu... http://www.google.com/search?q=graph+reduction+term+rewritin...
…is not the same thing as "Non-strict Semantics", but "Term Re-Writing" is closely allied with "Graph Reduction. Simon Peyton-Jones' books "The Implementation of Functional Programming Languages" and "Implementing Functional Languages: a tutorial" are excellent works. Now out of print, they can both be found on-line. The following references also help ... http://www.google.com/search?q=implementing+functional+langu... http://www.google.com/search?q=graph+reduction+term+rewritin...
西蒙·佩顿·琼斯的《Implementing functional languages: a tutorial》http://research.microsoft.com/en-us/um/people/simonpj/Papers... 非常棒，展示了运行时（runtime）的不同实现策略。
"Implementing functional languages: a tutorial" Simon Peyton Jones http://research.microsoft.com/en-us/um/people/simonpj/Papers... Is very good and shows different strategies for the runtime.
……涵盖命令式语言（尽管 Appel 和 Ginsburg 专门用了一章讲函数式语言，包括 strict 和 lazy 两种类型，并讨论了一些优化挑战），所以如果你想学怎么实现函数式语言……S. L. Peyton Jones 等人的《The Implementation of Functional Programming Languages》（1987），A. W. Appel 的《Compiling with Continuations》（1992）。我的天，这些书可真够老的！但遗憾的是，我……
…cover imperative languages (although Appel & Ginsburg devote a chapter on functional languages, both of strict and lazy variety and discuss some optimization challenges), so if you want to learn about implementing functional languages... S. L. Peyton Jones et al. "The Implementation of Functional Programming Languages" (1987) A. W. Appel "Compiling with Continuations" (1992) Holy fatcats, those are some old books! But sadly, I am…
……此外，还有《Essentials of Programming Languages》[5]、保罗·威尔逊的《An Introduction to Scheme and its Implementation》[6]，以及一些我还没读过的，比如西蒙·佩顿·琼斯和大卫·莱斯特的《Implementing functional languages: a tutorial》[7]。[1] http://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_H... [2] http://norvig.com/lispy.html [3] http://norvig.com/lispy2.html [4] http://mitpress.mit.edu/sicp/full-text/book/book.html…
…additionally, there is the Essentials of Programming Languages[5], Paul Wilson's An Introduction to Scheme and its Implementation[6], and some things I haven't read, like Simon Peyton Jones and David Lester's Implementing functional languages: a tutorial[7]. [1] http://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_H... [2] http://norvig.com/lispy.html [3] http://norvig.com/lispy2.html [4] http://mitpress.mit.edu/sicp/full-text/book/book.html…