Content deleted Content added
m ce |
Jerryobject (talk | contribs) m WP:LINK update-standardize. |
||
(2 intermediate revisions by 2 users not shown) | |||
Line 11:
| latest release version =
| latest release date =
| typing = [[Type inference|Inferred]], [[
| implementations =
| dialects = [[Caml]], [[OCaml]], [[Standard ML]], [[F Sharp (programming language)|F#]]
| influenced by = [[ISWIM]]
| influenced = [[Caml]], [[Clojure]], [[Coq (software)|Coq]], [[Cyclone (programming language)|Cyclone]], [[C++]], [[Elm (programming language)|Elm]], [[F Sharp (programming language)|F#]], [[F* (programming language)|F*]], [[Haskell]], [[Idris (programming language)|Idris]], [[Kotlin (programming language)|Kotlin]], [[Miranda (programming language)|Miranda]], [[Nemerle
| operating system =
| license =
Line 127:
* [[Lazy ML]]: an experimental lazily evaluated ML dialect from the early 1980s
* [[PAL (programming language)]]: an educational language related to ML
* [[OCaml]]: an ML dialect used to implement [[Coq (software)|Coq]] and [[OCaml#Software written in OCaml|various
* [[F Sharp (programming language)|F#]]: an open-source cross-platform functional-first language for the [[.NET]] framework
|