Standard-Ml

Hello World in Standard ML

Every programming journey starts with Hello World. Let’s write our first Standard ML program and explore what makes this influential functional language special.

The Code

Create a file named …

Variables and Types in Standard ML

Standard ML takes a different approach to “variables” than most imperative languages. In SML, what other languages call variables are more accurately called value bindings — names bound to …

Operators in Standard ML

Operators are how you combine values into expressions, and Standard ML’s operators reveal a lot about its character as a statically-typed functional language. Because SML uses Hindley-Milner …

Control Flow in Standard ML

Control flow determines the order in which a program’s logic executes. In most imperative languages this means statements that branch and loops that iterate. Standard ML approaches the problem …