haskell - 関数型プログラミング言語をどのように実装しますか?

Question

機能パラダイムでは、機能は主要な「制御構造」です。たとえば、+演算子も関数として扱われ、他の「オブジェクト」と同様に渡すことができます。おもちゃの関数型言語を実装する必要がある場合、単純な関数を真の関数として実装する (つまり+、呼び出し可能なルーチンに変換する) か、変換されたコードに「インライン」で配置される通常の命令に変換するかを考えていました。しかし、2 番目の戦略では、それらを渡して、haskell のように部分的に適用することはできますか? 関数型言語の中心的なアイデアとして関数を実装/翻訳することについてどう思いますか?

Answer 1

PJLの本をお勧めします。私はその助けを借りてコンパイラを書きました (1989 年から 90 年に Prolog で)。

時代遅れかもしれませんが (30 年前の 1987 年に書かれました)、それでも基本を十分にカバーしています。ただし、Haskell のような遅延言語に完全に焦点を当てています。当時 Haskell は存在せず、この本では LML または Miranda という前身の言語を使用していますが、これらの言語は非常に近いものです。