Standard ML

Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference.

Installation

You can install Standard ML compilers such as SML/NJ (Standard ML of New Jersey) or Poly/ML from standard Ubuntu repositories:

apt update
apt install -y smlnj polyml

Verification

Check the compiler versions:

sml -version
poly -v

Compilation & Execution

Create a hello.sml file:

val () = print "Hello, Standard ML in TIDE!\n";

Run with sml or poly:

sml hello.sml
# Or run with Poly/ML:
poly --script hello.sml

Official Resources

• Official Website