ML (programming language): Difference between revisions

Revision as of 17:54, 29 March 2025

Latest revision as of 05:38, 30 August 2025

(3 intermediate revisions by 3 users not shown)

Line 11:

| latest release version =

| latest release date =

| typing = [[Type inference|Inferred]], [[staticStatic typing|static]], [[strongStrong and weak typing|strong]]

| implementations =

| dialects = [[Caml]], [[OCaml]], [[Standard ML]], [[F Sharp (programming language)|F#]]

| influenced by = [[ISWIM]]

| influenced = [[ClojureCaml]], [[Coq (software)|CoqClojure]], [[Cyclone (programming language)|Cyclone]], [[C++]], [[Elm (programming language)|Elm]], [[Erlang (programming language)|Erlang]], [[F Sharp (programming language)|F#]], [[F* (programming language)|F*]], [[Haskell]], [[Idris (programming language)|Idris]], [[Kotlin (programming language)|Kotlin]], [[Miranda (programming language)|Miranda]], [[Nemerle]], [[OCaml]], [[Opa (programming language)|Opa]], [[Erlang (programming language)|ErlangRocq]], [[Rust (programming language)|Rust]], [[Scala (programming language)|Scala]], [[Standard ML]]

| operating system =

| license =

Line 126:

** [[ATS (programming language)|ATS]]: a further development of dependent ML

* [[Lazy ML]]: an experimental lazily evaluated ML dialect from the early 1980s

* [[PAL (programming language)|PAL]]: an educational language related to ML

* [[OCaml]]: an ML dialect used to implement [[CoqRocq]] (software)|former name: Coq]]) and [[OCaml#Software written in OCaml|various softwaressoftware]]

* [[F Sharp (programming language)|F#]]: an open-source cross-platform functional-first language for the [[.NET]] framework