Standard ML

Standard ML (SML) es un lenguaje funcional con un sistema de tipos riguroso, inferencia de tipos y un sistema de módulos elegante. Muy influyente en la teoría de lenguajes y en la enseñanza de la programación funcional.

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

Para qué se usa

• Enseñanza funcional
• Investigación
• Compiladores

A favor

• Sistema de tipos elegante
• Inferencia potente
• Bases teóricas sólidas

En contra

• Académico
• Nicho
• Librerías escasas

Ecosistema

• SML/NJ
• MLton
• Poly/ML

Ejemplo

print "¡Hola, mundo!\n";