はてなブックマーク

中間表現 一般に、あるプログラミング言語で書かれたソースコードと、コンパイラが成果物として出力する目的コードには抽象度に大きな隔たりがあります。 例を挙げると、1 + 2 - 3のような単純な数式も、push 1; add 2; sub 3;のような形式に変換する必要があります。 このギャップを一気に埋めるのはとてもつらいため、多くのコンパイラでは中間表現というアイディアを採用しています。 例えば、HaskellのコンパイラGHCは、抽象構文木以外に、大きく分けてCore,Std,C--の3つの中間表現を使っています。 CのコンパイラGCCも、GIMPLE、RTLといった中間表現を用いています。 中間表現を用いるもう一つのメリットは、コンパイラの内部構造のモジュール化です。 中間表現を採用することで、ソースコードをASTに変換し意味検査を行うフロントエンド、中間表現に変換し最適化を行うミド

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

この記事はLisp Advent Calendar 2016の24日目の記事です。 年末に入りとうとうクリスマスイブですが皆様いかがお過ごしでしょうか。 Common Lispは動的型付けの言語ですが、最適化のための型宣言機構が規格に組み込まれています。 また、SBCLやCMUCLでは、この型宣言を利用し、型エラーをコンパイル時に指摘する機能がついています。 型宣言と最適化の関係については、 最適化 - Common LISP users jp Cより高速なCommon Lispコードを書く Common Lispの最適化に挑戦してみる これらの記事によくまとまっています。 この記事は、実際にどのような記法で型宣言をするのかについて、学習のためにまとめたものになります。 type specifier 型は type specifier (typespec) という方式で記述されます。 ty