Skip to main content

SML Help

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.