Standard ML

Standard ML (SML) は、プログラミング言語MLの標準ないし1方言である。The Definition of Standard ML で型付け規則と操作的意味論が与えられている。1990年に初版が出版され、1997年に単純化された改版が出版されている。 Standard ML...

MLによってプログラマに知られるようになった機能に、型推論がある。これは、明示的に型の宣言を行わなくても、データの利用のされ方から、引数や関数の返す型を自動的に推論してくれる機能である。これにより、プログラマの負担が著しく軽減される。 標準（ないし一方言）としてStandard ML (SML)...

Standard ML）の処理系の実装にCaml Lightを利用している。完全なSMLを実装する。 OchaCaml など、研究用の改造のベースとして、規模の大きくなった OCaml ではなく Caml（Caml Light）を利用する例がみられる。 以下の例は、プログラム自体としてはML...

はISOとIECによって標準化されており、文書は「Syntactic metalanguage」(直訳: 構文的メタ言語) と題されている。 Standard MLやOCaml、F#などの言語の源流であるMLは、元々は1970年代にロビン・ミルナーと彼の研究グループが開発したMeta...

0-13-115007-3 The Definition of Standard ML, Robin Milner, Mads Tofte, Robert Harper, MIT Press 1990 The Definition of Standard ML (Revised), Robin Milner, Mads...

no such term is used for the HTML syntaxes of MathML and SVG)." WHATWG. (2023). HTML Living Standard - Last Updated 2 May 2023. ^ "HTML vs XML syntax ...

「内容量」の文字に続けて、「L」、「ml」、「mL」、「ℓ」、「mℓ」又は「リットル」、「ミリリットル」と表示しなければならない。 注）大文字「М」は「メガ」を表す接頭語のため使用しないこと。 リットルは非SI単位であるがSI接頭語を付加することができる。 ミリリットル (mL) は1000分の1リットルであり、立方センチメートル...

SLIP（英語版） Smalltalk SMILEBASIC SNOBOL SPARK（英語版） Squeak Squirrel SPSS Standard ML Stata SuperCollider Swift SystemC SystemVerilog Telescript（英語版） Text...

意味論の仕様は、自然言語などで記述されることが多いが、形式的に与えられている言語もある。 形式意味論（プログラム意味論の記事も参照）で意味論を記述した例として Standard ML や Scheme がある。 他に、以下のようなスタイルで仕様が与えられている言語もある。 その言語の処理系のリファレンス実装やモデル実装として示されているもの...

= 1/100 m なので、1 cm3 = (1/100 m)3 = 1/1000000 m3 である。 現在（1964年以降）では、1 mL（ミリリットル）は正確に 1 cm3 である。なお、1 cm3 の水の質量は 約1 g（グラム）である。 1901年から1964年までは、「高精度測定のための体積の単位は...