SML#開発の歴史

SML#の起源は，大堀等によるデータベースコミュニティへのMachiavelli言語の提案に遡ることができます．この論文では，レコード多相を含むMLはSQLを包摂できることが示され，その有用性がプロトタイプの実装によってしめされています．

その後，1993年，沖電気工業（株）関西総合研究所にて，大堀により， Standard ML of New Jerseyコンパイラに多相型レコード演算を加え拡張したプロトタイプSML# of Kansaiが開発されました．その時のSML#のtypesメーリングリストへのアナウンスは，今でもインターネットで読むことができます.

SML# of Kansaiの名前は，このコンパイラにて初めて多相型が与えられたレコード演算子”#”を象徴するものです．このコンパイラは，コード多相性に関する論文で，SML#の名前で紹介されています．

その後，より完全なSML#コンパイラの開発の努力が継続されました．

2003年に，北陸先端科学技術大学院大学にて，文部科学省リーディングプロジェクトe-Society基盤ソフトウェアの総合開発「高い生産性をもつ高信頼ソフトウエア作成技術の開発」（領域代表者：片山卓也）の一つの課題「プログラムの自動解析に基づく高信頼ソフトウェアシステム構築技術」（2003年―2008年，究代表者:大堀淳）として，次世代ML系関数型言語SML#をスクラッチから開発するプロジェクトを開始しました．

2006年4月，プロジェクトは，大堀とともに東北大学電気通信研究所に移り開発を継続しています．

2008年のe-Societyプロジェクト終了後も，東北大学電気通信研究所大堀・上野研究室にて，SML#の研究開発を続けています．