Site Navigation
Categories:
Category:ML programming language family
Functional languages
Procedural programming languages
ML programming language family
Statically-typed programming languages
Programming languages created in the 1970s
Summary Of: ML (programming language)
Encyclodia Page On: ML (programming language)
These Are Links To Other Documents
Paradigm
|
multi-paradigm
|
imperative
|
functional
|
Robin Milner
|
University of Edinburgh
|
Typing discipline
|
static
|
strong
|
inferred
|
Dialects
|
Standard ML
|
OCaml
|
F#
|
ISWIM
|
Miranda
|
Haskell
|
Cyclone
|
Nemerle
|
C++
|
Clojure
|
Felix
|
Mythryl
|
functional programming language
|
Robin Milner
|
University of Edinburgh
|
ISWIM
|
LCF theorem prover
|
first-order predicate calculus
|
polymorphic
|
lambda-calculus
|
Hindley–Milner type inference algorithm
|
types
|
expressions
|
side-effects
|
purely functional
|
Haskell
|
evaluation strategy
|
functions
|
garbage collection
|
polymorphism
|
typing
|
type inference
|
algebraic data types
|
pattern matching
|
exception handling
|
eager evaluation
|
Standard ML
|
Caml
|
F#
|
Haskell
|
Cyclone
|
Nemerle
|
Standard ML
|
OCaml
|
"Hello World"
|
factorial
|
type inference
|
pattern matching
|
recursion
|
infinite descending chain
|
exception
|
tail-recursive
|
stack
|
quadratic time
|
linear time
|
parametric polymorphism
|
LCF theorem prover
|
ISWIM
|
F#
|
Haskell
|
Cyclone
|
Nemerle
|
Category:ML programming language family
|
Caml
|
Objective Caml
|
Moscow ML
|
Standard ML
|
Alice
|
F#
|
Rpal
|
LML (Lazy ML)
|
Mythryl
|
Mads Tofte
|
ISBN 0-262-63181-4
|
Mads Tofte
|
ISBN 0-262-63137-7
|
ISBN 0-521-57050-6
|
Gordon, Michael J. C.
|
Categories
|
Functional languages
|
Procedural programming languages
|
ML programming language family
|
Statically-typed programming languages
|
Programming languages created in the 1970s
|
This article is licensed under the
GNU Free Documentation License
. It uses material from the
Wikipedia article "ML (programming language)"
.
