Core Concepts of Functional Programming in Standard ML
Part A – Foundations in ML Expressions, Bindings, and Immutability An ML program is a sequence of bindings. Each binding is checked in the static environment (types of earlier bindings) and evaluated in the dynamic environment (values of earlier bindings). The most basic binding form is val x = e On...