JunGL

ICSE06にあったリファクタリング用言語。F#で実装してるらしい。
MLっぽい構文にPrologっぽい述語が組み込んであるみたい。ASTレベルでの操作をする。

使いやすいのかは微妙。構造のパターン表現で構造にアナロジーが見えないのはどうもってかんじ。自分はAspectJのpointcutも評価してないし。