functional-programming - 関数型言語の実装方法

Question

命令型言語と関数型言語の違いを学ぼうとしています。
また、クロージャとガベージ コレクタの実装方法についても学びたいと思います。そこで、関数型言語のインタープリターを実装してみることにしました。

私は関数型言語に詳しくないので、関数型言語を設計するのは難しすぎます。単純な関数型言語の構文とセマンティクスに関するリソースはありますか? これを行う方法に関するチュートリアルは非常に役立ちます。

Answer 1

考えてください：

Implementing functional languages: a tutorial
Simon Peyton Jones and David Lester. Published by Prentice Hall, 1992.

コンパイルされた怠惰な関数型言語を実装するためのますます洗練されたアプローチをカバーするオンラインで利用可能。

GHCランタイムのコアを説明するSTGマシンペーパーのフォローアップ。

Answer 2

奇妙なことに、あります。Structure and Interpretation of Computer Programs book には、Scheme が Scheme で実装される演習があります。ただし、準備資料をスキップすることはできません。特にインタープリターでインタープリターを実装する場合は、それを知る必要があります (および関数型言語でプログラミングする方法)。

Answer 3

John Allen の The Anatomy of Lisp を読むよりも悪いことをする可能性があります。怠惰な言語用。