Standard ML

El lenguaje de programación Standard ML o SML es un lenguaje descendiente del lenguaje ML que nació como el Meta Lenguaje del sistema LCF. A diferencia de muchos otros lenguajes de programación, SML tiene una especificación formal, como semántica operacional publicada en el libro The Definition of Standard ML.

Implantaciones

  • Standard ML of New Jersey (abreviado SML/NJ) es un compilador completo, junto con sus bibliotecas, herramientas, y documentación. ([1])
  • Moscow ML es una implementación liviana, basada en el ambiente de ejecución de [2])
  • MLton es un compilador para programas completos (no maneja la noción de módulos). ([3])
  • Poly/ML es una implantación completa de Standard ML. ([4])
  • SML2c es un compilador para firmas estructuras y funciones que genera código en lenguaje C. Está basado en SML/NJ versión 0.67 y comparte con esa versión la mayor parte del ambiente de ejecución, pero no planta ni herramientas de puesta a punto ni perfiles de ejecución. La compatibilidad a nivel de los módulos con SML/NJ es completa.

Todas las distribuciones mencionadas son de tipo software libre. No hay versiones comerciales de SML disponibles.

Other Languages
català: ML Estàndard
čeština: Standard ML
Deutsch: Standard ML
English: Standard ML
français: Standard ML
magyar: SML
Հայերեն: Standard ML
italiano: Standard ML
日本語: Standard ML
ქართული: Standard ML
polski: Standard ML
português: Standard ML
русский: Standard ML
Simple English: Standard ML
Türkçe: Standart ML
українська: Standard ML