| |
| | ML programming language - Wikipedia, the free encyclopedia |
 | | ML is often referred to as an impure functional language, because it permits side-effects, and therefore imperative programming, unlike purely functional programming languages such as Haskell. |
 | | Features of ML include a call-by-value evaluation strategy, first class functions, automatic memory management through garbage collection, parametric polymorphism, static typing, type inference, algebraic data types, pattern matching, and exception handling. |
 | | Unlike Haskell, ML uses eager evaluation, which means that all subexpressions are always evaluated. |
| en.wikipedia.org /wiki/ML_programming_language (535 words) |
|