関数型プログラミングのためのアスペクト指向言語

抄録

本研究では型付き関数型言語を基にしたアスペクト指向言語を提案する。アスペクト指向機構部分はJavaを基にしたアスペクト指向言語AspectJにならい、ポイントカット・アドバイス機構と型拡張機構を持つ。本稿ではそれらの機構の設計と、その際に見られた関数型言語特有の問題点および解決策について述べる。