2006年1月 - 現在
次世代高信頼プログラミング言SML#コンパイラの開発とリリース
- ,
- ,
- ,
- 作品分類
- コンピュータソフト
SML#は、SQLの統合等、実用上重要な種々の先端機能をML系関数型言語に統合した次世代高信頼プログラミング言語である.ACM ICFPを含む種々の招待講演(基調講演)や、ICFPの研究トピックにリストされるなど、関数型言語の国際・国内コミュニティに注目され、さらに、複数の産学連携プロジェクトを通じた産業界での使用実績をもつ。 SML#のコンパイラは、2006年の0.1版から3.40版までの計35版が継続して世界にリリースされ、現在も開発を続けている。