近几年來关於剖面程式设计各项研起步阶段。本计画以型态.PDF

摘要 AspctFun and develop analysis algorithms 近幾年來關於剖面程式設計的各項研究 for optimizing control-flow based pointcuts 蓬勃發展，從剖面程式語言、開發工具、 (such as Cflow) that can improve the 剖面設計與分析，到剖面的理論基礎，都 efficiency of woven code. 可見到了許多的研究成果陸續發表出 Keywords: Aspect-oriented programming, 來。這些研究成果大多集中在探討像 polymorphic aspect, type inference, static AspectJ 這類以物件導向為基礎的剖面語 weaving, functional languages 言的各個面向，因這類語言都不具備參數 式多型的功能，所以關於多型剖面 1. 前言 (Polymorphic/generic aspects)的研究尚屬 近幾年來關於剖面程式設計的各項研 起步階段。本計畫以型態導向的方法發展 究蓬勃發展，從剖面程式語言、開發工 一套多型剖面的織入技術，並設計一具剖 面機制的函數式程式語言 , AspectFun,來 具、剖面設計與分析，到剖面的理論基 實驗我們的方法。第一年進度順利，目前 礎，都可見到了許多的研究成果陸續發表 正在透過定義這個語言的語義來驗證我 出來。這些研究成果大多集中在探討像 們的靜態織入方法的正確性。此外，我們 AspectJ 這類以物件導向為基礎的剖面語 正在開發AspectFun的編譯環境與發展動 言的各個面向，因這類語言都不具備參數 態切點 (Cflow)的優化分析方法。 式多型的功能，所以關於多型剖面 關鍵詞 ：剖面導向程式設計，多型剖面， (Polymorphic/generic aspects)的研究尚屬 型態推演，織入，多型型態系統 起步階段。 為了進一步分析多型剖面的特性，我 Abstract 們和新加坡國立大學的 Khoo, Siau Cheng Introducing aspect orientation to a polymorphically typed functional language 教授合組了一個研究小組，針對如何提供 strengthens the importance of type-scoped 完整的多型剖面的理論基礎進行研究，希 advices; i.e., advices with their effects 望透過發展一新穎的 type system 來提供 harnessed by type constraints. As types are 更完整與深入的多型剖面織入的理論與 typically treated as compile time entities, it 技術。在過去一年中，我們這個研究小組 is highly desirable to be able to perform 透過網路進行密集的討論，並利用在暑假 s