Standard_ML
さんの情報は
生没年不詳
Standard ML (SML) は、プログラミング言語MLの標準ないし1方言である。The Definition of Standard ML で型付け規則と操作的意味論が与えられている。1990年に初版が出版され、1997年に単純化された改版が出版されている。
※Wikipediaの情報から機械的に算出しています。
情報の正確性を保証するものではありません。
| パラダイム | マルチパラダイム: 関数型、命令型 |
|---|---|
| 型付け | 強い、静的、推論あり |
| 主な処理系 | MLton, MLWorks, Moscow ML, Poly/ML, SML/NJ, SML.NET |
| 方言 | Alice、Dependent ML |
| 影響を受けた言語 | ML |
「Standard_ML」をWikipediaのカテゴリー
Wikipediaで調べる
「Standard_ML」さんについての
一言コメント
まだコメントはありません。