情報処理学会 第78回全国大会講演要旨

関数型プログラミング言語SML#はSQLをシームレスに扱えるなどの特長をもち，信頼性の高い開発が行えるが，Emacsによる開発環境しか提供されていない。多くの開発者の利用を増やすためには扱いやすい開発環境の整備が必要である。そこでEclipseのSML#開発支援プラグインを開発した。このプラグインはEclipseによるSML#のプロジェクト単位でのソース管理，ソースの編集，コード補完，デバッグ支援およびドキュメント生成の各機能を提供する。SML#にはデバッガは提供されていないが，コンパイラの対話型モードによるコード評価および型推論機構を利用して簡易デバッガ機能を実現した。今後，開発プロジェクトで用いながら本プラグインの実用性の評価を行う。