https://twitter.com/kinaba のログ (twilog の方が便利です。)
Polemyの言語デザイン整理するぞ、ということで整頓してたらどっかで見た気がする感じに落ち着いてきたぞ。マクロ的なものを定義するときに静的解析がマクロを展開しないで済むように静的解析用semanticsをフック可能にしておく的な論文どっかでみた。どれだ。 | |
Static Analysis for Syntax Objects http://doi.acm.org/10.1145/1160074.1159817 これだこれだ。なるほどそういう意味の論文だったのか!4年越しでやっと理解した。 |