どうやら、言語のセマンティクスをまったく変更せずに熱心に評価するように Haskell を実装することは可能です。それが本当なら、無限のデータ構造はどのように扱われますか?
http://csg.csail.mit.edu/pubs/haskell.html
したがって、中断された計算の断片 (サンク) の作成と破棄に多くの時間が費やされます。多くの場合、これらの計算は十分に単純であるため、代わりに評価するのも同じくらい簡単です。Faxen などは、静的分析を使用して、そのような熱心な機会を明らかにしました。代わりに、プログラムが熱心すぎる場合に回復できるメカニズムを使用しながら、あらゆる場所で熱心を使用することを提案します。
重要なのは、「プログラムが熱心すぎる場合に回復するメカニズムがある」ことです。これらのメカニズムは何ですか？無限のデータ構造や、私が熱心な言語では不可能だと信じ込まされてきた遅延評価の他の側面をどのように許可するのでしょうか?