23

型推論、パターン マッチング、その他のコード変換など、GHC のさまざまな側面がどのように実装されているかを学ぼうとしています。

ただし、コードベースはかなり大きく、ファイル名には多くの頭字語 (simpl、stg、stranal...) が使用されています。これらは何を意味し、コードはどのように構成されていますか?

4

2 に答える 2

11

hammar が言うように、GHC の解説はおそらく、GHC 自体について学ぶための最良の出発点です。これは、一般的なコンパイラに関するある程度の知識があることを前提としていますが、主な関心が GHC の変更にある場合は、おそらく基本的な CS のバックグラウンドだけで十分でしょう。

GHC の背後にある原則にもっと一般的に興味がある場合、たとえば独自のコンパイラの書き方を学びたい場合は、本全体を含め、関連するトピックに関する Simon Peyton-Jones の無数の出版物を熟読することをお勧めします。関数型言語の実装と、厳密ではない関数型言語の実装を説明する「チュートリアル」ブック。

于 2012-09-05T01:00:05.223 に答える
8

GHC 解説は、始めるのに適した場所です。

于 2012-09-04T23:39:08.580 に答える