スマートフォン用の表示で見る

Standard ML

コンピュータ

Standard ML

すたんだーどえむえる

関数型プログラミング言語MLの一種.

MLの生みの親であるRobin Milnerらによって定義されたMLの標準.多相型型推論,パターンマッチング,型理論をベースに構築されたモジュールシステムなどの優れた機能を持つ.

Standard MLは文法・型システム・操作的意味論の全てが形式的に定義されており,その言語仕様に曖昧性は存在しない.この厳密な定義によって,Standard MLは実用に供することができる規模を持ちながら型安全性などの重要な性質が言語それ自体について検証されている数少ない言語である.

また,言語定義と実装が明確に分かれていることから,その定義に基づいて実装された多くの処理系コンパイラ)が存在する.言語定義に準拠したプログラムであれば,任意のStandard MLコンパイラプログラムコンパイルし実行することができる.

Standard MLを実装した主な処理系に以下のものがある.