Standard ML para niños
Standard ML, o SML, es un lenguaje de programación. Es como un conjunto de instrucciones que le das a una computadora. SML es una versión más moderna de un lenguaje llamado ML. Este lenguaje ML original se creó para un sistema llamado LCF. Una cosa muy interesante de SML es que tiene una "especificación formal". Esto significa que hay un libro que explica exactamente cómo debe funcionar.
Contenido
Standard ML: Un Lenguaje de Programación Especial
¿Qué es Standard ML?
Standard ML, o SML, es un lenguaje de programación. Un lenguaje de programación es una forma de comunicarte con una computadora. Le das instrucciones para que realice tareas. SML es un descendiente del lenguaje ML. ML significa "Meta Lenguaje". Nació como parte de un sistema llamado LCF.
¿Por qué es Especial Standard ML?
A diferencia de muchos otros lenguajes, SML tiene una "especificación formal". Esto es como un manual de instrucciones muy detallado. Este manual explica cómo debe funcionar el lenguaje. Así, todos los que lo usan saben exactamente qué esperar. Esta especificación se publicó en un libro llamado The Definition of Standard ML.
¿Cómo se Usa Standard ML? Implementaciones
Para usar un lenguaje de programación, necesitas un "compilador". Un compilador es un programa que traduce tus instrucciones. Las convierte en un lenguaje que la computadora entiende. Las diferentes versiones de SML se llaman "implementaciones". Cada una incluye el compilador y otras herramientas.
Standard ML of New Jersey (SML/NJ)
Standard ML of New Jersey, o SML/NJ, es una implementación muy completa. Incluye el compilador, bibliotecas (colecciones de código útil), herramientas y documentos. Puedes encontrar más información en su sitio web oficial.
Moscow ML
Moscow ML es una implementación más ligera. Se basa en el sistema de ejecución de CAML Light. Implementa el lenguaje SML completo, incluyendo sus módulos. También tiene la mayor parte de la biblioteca base de SML.
MLton
MLton es otro compilador para programas completos. No maneja la idea de módulos de la misma manera que otros.
Poly/ML
Poly/ML es una implementación completa de Standard ML.
SML2c
SML2c es un compilador especial. Toma el código de SML y lo convierte en código del lenguaje C. Se basa en una versión antigua de SML/NJ. Es compatible con los módulos de SML/NJ.
¿Es Standard ML Gratuito?
Todas las versiones de SML que mencionamos son de tipo software libre. Esto significa que puedes usarlas, estudiarlas y compartirlas libremente. No hay versiones comerciales de SML que se vendan.
Véase también
En inglés: Standard ML Facts for Kids
- OCaml
- Extended ML
