Mlton Mlton es un programa completo de optimización del compilador ML estándar.
Descargar ahora

Mlton Clasificación y resumen

Mlton Etiquetas

compilador compilador de Linux Compilador de ml Compilador Otimizer mlton Ml

Mlton Descripción

Mlton es un programa completo que optimiza el compilador de ML estándar. Mlton es un programa completo que optimiza el compilador de ML estándar. Mlton Project genera ejecutables independientes con excelente rendimiento de tiempo de ejecución, es compatible con el lenguaje completo de SML 97, y tiene una biblioteca completa de la base. También tiene una FFI rápida de C FFI, Tiempo de nivel de origen y Perfil de asignación, y muchas bibliotecas útiles. Soporte a SML 97. idioma tal como se indica en la definición de ML estándar (revisado). - Si hay un programa válido de acuerdo con la definición que está rechazada por MLTON, o un programa que no sea válido de acuerdo con la definición que es aceptada por Mlton, es un error. Para obtener una lista de errores conocidos, consulte Unesolvedbugs. Una implementación completa de la biblioteca base. - La implementación de Mlton coincide con la especificación de la biblioteca de la última base, e incluye una implementación completa de todos los módulos requeridos, así como muchos de los módulos opcionales. Genera ejecutables independientes. - No es necesario ningún código o bibliotecas adicionales para ejecutar un ejecutable, excepto las bibliotecas estándar compartidas. Mlton también puede generar ejecutables estáticamente vinculados. Recopila grandes programas. - Mlton es suficientemente eficiente y sólido que puede compilar programas grandes, incluidos (más de 140k líneas). La versión distribuida de Mlton fue compilada por Mlton. Soporte para grandes cantidades de memoria (hasta 4G). Longitudes de matriz de hasta 231 - 1, el mayor entero posible de 32 bits de Twos-complemento. Soporte para archivos grandes, utilizando posiciones de archivo de 64 bits. Qué es nuevo en esta versión: · Mlton ahora se publica bajo la licencia BSD, no en la GPL. · Hay una documentación sustancialmente mejorada basada en el Mlton Wiki. X86 / MINGW y HPPA / Linux son compatibles. · Hay mejoras a las anotaciones básicas de FFI, ML, y las nuevas bibliotecas: la biblioteca CKIT y SML / NJ.

Mlton Software relacionado