A resource for learning Standard ML
Standard ML (SML) is a functional programming language. It emphasizes modularity, purity, and formal reasoning about programs.
SML has rich built-in types, static type inference, first-class functions, and user-definable datatypes. Type errors never occur at runtime.
Express algorithms with concise recursive formulations. Then prove them correct with induction.