Haskellでの言語インタプリタの実装

Question

Haskellに命令型言語インタープリターを実装したい（教育目的で）。しかし、インタプリタに適したアーキテクチャを作成するのは困難です。変数をどのように格納する必要がありますか？ネストされた関数呼び出しを実装するにはどうすればよいですか？変数スコープをどのように実装する必要がありますか？自分の言語でデバッグの可能性を追加するにはどうすればよいですか？モナド/モナド変換子/その他の手法を使用する必要がありますか？等.

誰かがこの主題に関する良い記事/論文/チュートリアル/情報源を知っていますか？

sergeyz · Answer

私がついに見つけたいくつかの良い論文：