「不完全にしておよそ正しくないプログラミング言語小史」の版間の差分
imported>Administrator |
imported>Administrator |
||
| 47行目: | 47行目: | ||
== 1973 == | == 1973 == | ||
[[ロビン・ミルナー]]がM&M型理論に基づく[[言語]]「[[ML]]」を考案する。MLは形式的定義セマンティクスを持つSMLを生んだ。形式的セマンティクスのための形式的セマンティクスについて問われたためにミルナーは頭が爆発した。 | |||
ML系のよく知られた他の言語には、[[OCaml]]、[[F Sharp|F#]]、[[Visual Basic]]がある。 | |||
== 1980 == | == 1980 == | ||