Standard ML

Standard ML (SML) is a functional language with a rigorous type system, type inference and an elegant module system. Highly influential in language theory and in teaching functional programming.

• Creado por Robin Milner
• Año 1983
• Paradigma: Functional · compiled
• Extensiones: .sml, .sig

Para qué se usa

• Teaching functional
• Research
• Compilers

A favor

• Elegant type system
• Powerful inference
• Solid theoretical basis

En contra

• Academic
• Niche
• Few libraries

Ecosistema

• SML/NJ
• MLton
• Poly/ML

Ejemplo

print "¡Hola, mundo!\n";