Standard ML

(コンピュータ)
すたんだーどえむえる

関数型プログラミング言語MLの一種.
MLの生みの親であるRobin Milnerらによって定義されたMLの標準.多相型型推論,パターンマッチング,型理論をベースに構築されたモジュールシステムなどの優れた機能を持つ.
Standard MLは文法・型システム・操作的意味論の全てが形式的に定義されており,その言語仕様に曖昧性は存在しない.この厳密な定義によって,Standard MLは実用に供することができる規模を持ちながら型安全性などの重要な性質が言語それ自体について検証されている数少ない言語である.
また,言語定義と実装が明確に分かれていることから,その定義に基づいて実装された多くの処理系(コンパイラ)が存在する.言語定義に準拠したプログラムであれば,任意のStandard MLコンパイラでプログラムをコンパイルし実行することができる.
Standard MLを実装した主な処理系に以下のものがある.

このタグの解説についてこの解説文は、すでに終了したサービス「はてなキーワード」内で有志のユーザーが作成・編集した内容に基づいています。その正確性や網羅性をはてなが保証するものではありません。問題のある記述を発見した場合には、お問い合わせフォームよりご連絡ください。

ネットで話題

もっと見る

関連ブログ