Programming Languages: Concepts and Implementation

Appendix B

Introduction to ML

I ...picked up the utility of giving students a fast overview, stressing the most commonly used constructs [and idioms] rather than the complete syntax. ... In writing this [short] guide to ML programming, I have thus departed from the approach found in many books on the language. I tried to remember how things struck me at first, the analogies I drew with conventional languages, and the concepts I found most useful in getting started.

— Jeffrey D. Ullman, Elements of ML Programming (1997)

ML is a statically typed and type-safe programming language that primarily supports functional programming, but has some imperative features.