Java に新しい型システムを実装するためのフレームワークの提案。型付け規則の実装は基本的には AST に対してごにょごにょすればよいのでそのための記述言語を Java のアノテーションとも連携しながら定義。その言語で規則を書いてコンパイル時に適用する。いくつかの応用が述べられているけど、提案されている言語が型付け規則を記述するのに十分かどうかは不明だし、型付け規則から素直に出てくるかどうかも微妙な印象。だけど似たようなことは少し考えていたので参考になるかも。

author="Chris Andreae and James Noble and Shane Markstrum and Todd Millstein",
title="{A Framework for Implementing Pluggable Type Systems}",
booktitle="OOPSLA 2006",
publisher="ACM",
pages="57--74",
year="2006"

http://doi.acm.org/10.1145/1167515.1167479

コメント追加

投稿者 kw : 2009/03/26 18:24:47 JST #

ホーキング 虚時間の宇宙、竹内薫 著、講談社ブルーバックス

読了。

コメント追加

投稿者 kw : 2009/03/26 9:54:00 JST #