ML
Same core concepts as Scheme
- Strongly typed
- Expression-oriented, mostly side-effect-free
- List-oriented, garbage-collected, heap-based
- Highly regular and expressive
Designed as a Meta Language for automatic theorem proving system in the mid-1970s by Milner et al.
Standard ML in 1980; SML’97 in 1997