netail.net

_ 読書 ▲

「紅茶の辞典」「魔法のお店」「魔幻境綺譚」を読み終え．

「紅茶の辞典」は作った人の紅茶への思い入れが分かる．残り二つは，以前も読んだことがあるものだけど．魔幻境綺譚のほうはその悲しいエンディングがちょっと好みだったりしてつい何度も読み返してしまう．

_ 論文 ▲

ASE2002 開催の Workshop on Declarative Metaprogramming (DMP)の論文をチェック．

Robert E. Filman and Klaus Havelund: ``Realizing Aspects by Transforming for Events''

アスペクトを作るのに必要なイベントの種類をまとめている論文．AspectJ の join points では十分ではないらしい．この論文，どんなふうにアスペクトが使われているかをまとめてくれているので，参照するには便利かもしれない．

Tom Tourwe, Johan Brichau and Tom Mens:``Using Declarative Metaprogramming To Detect Possible Refactorings''

クラス間の関係ルールを論理型言語で記述しておいて，リファクタリングなどの作業中にルール違反を検出しようという試み．実はこの手の制約（たとえば Law of Demeter の厳守）を記述するようなプログラミング言語というのは新鮮な感じ．もっとも，正確に制約を書くのは難しそうだけど…．

Gopan Gupta:``A Language-centric Approach to Software EngineeringDomain Specific Languages meet Software Components''

DSL(Domain Specific Language)をコンポーネントの高レベルラッパーとして使う，開発者はDSLさえマスターすればコンポーネントのインタフェースを直接触る必要はないよね，という話．アプリケーションからのトップダウン的に述語を生成していってDSL のプロトタイプを作り，最終的にコンポーネントでの表現に落としていく論理型プログラミング的な扱いになる．個人的にはいまひとつかも．