compiler-construction - 遅延評価された小さな言語を作成するアプローチを開始する方法

Question

リスト内包表記やラムダ関数など（すでに作成済み）を使用して、Javaと同様の構文と文法構造を持つ小さな言語を構築しようとしています。

私が今やろうとしているのは、熱心に評価するのではなく、この言語を遅延評価する表現にしたいと思っています。部分評価の仕方がよくわからないので、どうしたらいいのかよくわかりません。

私はたくさんのグーグルをして、答えを思い付かなかったので、ここの誰かがこれについて良い参考文献を持っているかどうか疑問に思いました。

テイカーはいますか？

Answer 1

Haskellウィキブックスのこのページは良い出発点かもしれません。

Answer 2

関数型プログラミング言語の設計/開発に関する論文bijSimonPeytonJonesが役立つかもしれません 。