本研究では埋め込み領域特化言語(埋め込みドメイン専用言語)の実装技術の研究をおこなった。(1) 埋め込み領域特化言語の実装を直接支援する言語機構を備えた汎用プログラミング言語を研究開発し、利用者が誤った領域特化言語のプログラムを書きにくくなるようにした。(2) 独自の構文をもった埋め込み領域特化言語の実装を可能にする言語機構 turnstile type を考案した。(3) メソッドチェインを用いた埋め込み領域特化言語の実装時に、チェイン中のメソッドの並びの正しさをホストとなる汎用言語の型検査を利用しておこなう新たな手法を開発した。
|