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