MLton

MLton es un compilador optimizador de programas completos para el lenguaje de programación Standard ML . ^{[ 1 ]} El desarrollo de MLton comenzó en 1997, ^{[ 1 ]} y continúa ^{[ 3 ]} con una comunidad mundial de desarrolladores y usuarios, que han ayudado a portar MLton a varias plataformas informáticas . Es software libre y de código abierto publicado bajo un Aviso de Permiso Histórico y Descargo de Responsabilidad . MLton fue una organización participante en el Google Summer of Code de 2013 .

MLton tiene como objetivo producir ejecutables rápidos y fomentar la creación rápida de prototipos y la programación modular eliminando las ineficiencias frecuentemente asociadas con las características de alto nivel. ^{[ 1 ]} También busca facilitar la programación a gran escala a través del sistema MLBasis, ^{[ 4 ]} simplificando la modularidad y la gestión de espacios de nombres. Como compilador de programa completo, se distingue por carecer de un bucle interactivo de lectura-evaluación-impresión de nivel superior, común en los entornos ML estándar. ^{[ 5 ]}

MLton incluye varias bibliotecas además de la biblioteca estándar Basis , entre ellas ML Language Processing Tools con una implementación de ANTLR y MLRISC con generadores de código para computadoras con conjuntos de instrucciones reducidos . También implementa funciones que facilitan la portabilidad de código desde SML/NJ, una de las implementaciones de SML más populares, incluyendo soporte para el gestor de compilación de SML/NJ.

• NEC Corporation of America §  Instituto de Investigación NEC

• Sitio web oficial
• MLton en GitHub
• MLton en SourceForge