Figure 5.3: The syntax of Core A typical structure for a compiler for a statically-typed language is this: the program is type checked, and transformed to some untyped intermediate language, before being optimised. GHC is different: it has a statically-typed intermediate language. As it turns out, this design choice has had a pervasive effect on the design and development of GHC. GHC's intermediat
199年度計算機言語論の講義(小林担当分)に関連する文献 型システムに関する一般的なサーベイ Luca Cardelli and Peter Wegner, "On Understanding Types, Data Abstraction, and Polymorphism," ACM Computing Surveys, vol.17, no.4, 1986. 型情報に基づくレコードのコンパイル Atsushi Ohori, "A polymorphic record calculus and its Compilation," ACM Transactions on Programming Languages and Systems, Vol.17, No.6, pp.844-895, 1995. 多相型言語における型を利用した効率のよいデータ表現 Greg Morrisett, "
This book gives a practical approach to understanding implementations of non-strict functional languages using lazy graph reduction. The book is intended to be a source of practical labwork material, to help make functional-language implementations `come alive’, by helping the reader to develop, modify and experiment with some non-trivial compilers. The unusual aspect of the book is that it is mea
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く