Standard ML

/ˈstændərd ɛm ɛl/ スタンダード エムエル

1. MLプログラミング言語の標準版。

Standard ML (SML) は、静的型付けと型推論を備えたモジュール式の関数型プログラミング言語です。MLファミリーの言語であり、主に研究や教育、プロトタイプ作成に用いられます。

Standard ML is a functional programming language. (Standard ML は関数型プログラミング言語です。)

• Standard ML: ML（Meta Language）というプログラミング言語の標準バージョンを指します。
• is: 「〜である」という存在や状態を表す動詞です。
• a: 不特定の単数名詞を示す冠詞です。
• functional programming language: 関数を主たる構成要素とするプログラミング言語の一種を指します。

Many computer science courses use Standard ML for teaching programming concepts. (多くのコンピュータ科学の授業で、プログラミングの概念を教えるためにStandard MLが使われます。)

• Many: 「多くの」という数量を表します。
• computer science courses: コンピュータ科学に関する授業や科目を指します。
• use: 「〜を使う」という行為を表す動詞です。
• Standard ML: ML（Meta Language）というプログラミング言語の標準バージョンを指します。
• for teaching: 「教えることのために」という目的を示します。
• programming concepts: プログラミングにおける基本的な考え方や原理を指します。

The type system of Standard ML is quite robust. (Standard ML の型システムは非常に堅牢です。)

• The: 特定のものを指す定冠詞です。
• type system: プログラミング言語におけるデータの型を扱う仕組みを指します。
• of Standard ML: 「Standard MLの」という所属を示します。
• is: 「〜である」という存在や状態を表す動詞です。
• quite: 「かなり」「非常に」という程度を表します。
• robust: 「堅牢な」「頑丈な」という状態を表す形容詞です。

関連

• ML
• OCaml
• Haskell
• Functional programming
• Programming language
• Static typing