SML# は我々が開発しているML系関数型言語であり,そのコンパイラはMITライセンスによって公開されている.
本講演では,まずSML# の概要とその特徴的な機能,さらにその基礎となった理論を解説する.SML# 開発の最大の動機はSQLの関数型言語への統合であった.そこで本講演では,SQLによるデータベース問い合わせの基礎,及び,SQL統合を可能にしたレコード多相性の理論を解説し,その理解のもとSML# のSQL統合機能を紹介する.以上のSML# の紹介に続き,SML# コンパイラの内部構造を概説する.特に,ややわかりにくいコンパイラのスタートアップの流れを説明する.
以上の理解を背景に,SML# のソースコードを活かしたオープンなコンパイラプロジェクトを提案する.このプロジェクトは,
などをオープンに共同で行うことを意図している.そのためにSML# チームは,SML# の内部構造やコンパイラの基礎理論等のノウハウや知識を提供したいと考えている.それ以上のオープンの意味は,今後の参加者に委ねられる.