[Paper] GROW09

by syoyo

First International Workshop on GCC Research Opportunities(GROW09)

http://www.doc.ic.ac.uk/~phjk/GROW09/programme.html

コンパイラ研究ネタを GCC をベースにしてやるよ、という感じらしい.
なかなか実務的で面白そうですね.

とくにこれが.

A Compile-Time Infrastructure for GCC Using Haskell
http://www.doc.ic.ac.uk/~phjk/GROW09/papers/02-Haskell-Collingbourne.pdf

C++ のテンプレートや  Template Haskell のようなコンパイル時計算(メタプログラミング)を,
gcc のプラグイン拡張を使い, そのプラグイン部分は Haskell で記述することで,
C++(g++)でより面白い(?)コンパイル時計算をしちゃうというもの.

例としては C++ のテンプレートメタプログラミングにおいて型に対して任意の計算をしたり,
データフロー解析とかできるらしい.

Advertisements