haskell-jp / questions #96 at 2021-04-25 15:12:58 +0900

関数型プログラミング言語を作りたいので、グラフ簡約について勉強したいのですが、何かいい文献はありますか?
https://www.cs.tufts.edu/comp/150FP/archive/simon-peyton-jones/eval-apply-jfp.pdf の Making a fast curry: push/enter vs. eval/apply for higher-order languages でトイ実装を作るには充分そうかなと思ってますが
さらにナイーブなものでよければ、(というか call-by-need の素朴な実装という趣のものなら)
The implementation of the Gofer functional programming system
http://web.cecs.pdx.edu/~mpj/pubs/RR-1030.pdf
とか、
Implementing functional languages: a tutorial
https://www.microsoft.com/en-us/research/wp-content/uploads/1992/01/student.pdf
とか、
ありがとうございます! 参考にさせていただきます