Mlton MLton es un compilador estándar de código abierto, programado completo, optimizando
Descargar ahora

Mlton Clasificación y resumen

Mlton Etiquetas

generar compilar compilador Generador de analizador compilador de ml compilador de programas

Mlton Descripción

Mlton es un compilador de optimización de ML de código abierto, completo, optimizante Mlton es un compilador de ML estándar de código abierto, optimizante, optimizante. Aquí hay algunas características clave de "Mlton": · Se ejecutan en una variedad de plataformas. · Soporta el idioma de SML 97 completo como se indica en la definición de ML estándar ( Revisado). · Si hay un programa válido de acuerdo con la definición 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 de 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 independiente. Ejecutables: 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 estadísticamente vinculados. · Recopila programas grandes: Mlton es suficientemente eficiente y robusto de 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 en sistemas de 32 bits; más en sistemas de 64 bits). · Longitudes de matriz hasta 231 - 1, el mayor complemento posible posible Integer de 32 bits. · Soporte para archivos grandes, utilizando posiciones de archivo de 64 bits. · Los ejecutables tienen excelentes tiempos de ejecución. · Genera pequeños ejecutables: Mlton aprovecha la compilación de todo el programa para realizar una eliminación de código muerto muy agresivo, que a menudo lleva a ejecutables más pequeños que con otros compiladores de SML. · Enteros, reales y palabras nativas: en Mlton, los enteros y las palabras son 32 bits y la aritmética no tiene ninguna sobrecarga debido a la etiqueta o el boxeo. Además, los reales se almacenan sin caja, evitando cualquier sobrecarga debido al boxeo. · Arreglos nativos unboxed: en Mlton, una matriz (o vector) de enteros, reales o palabras utiliza la representación natural similar a C-les. Esto es rápido y es compatible con un fácil intercambio de datos con C. arreglos monomórficos (y vectores), use las mismas representaciones similares a C como sus contrapartes polimórficas. · Múltiples estrategias de recolección de basura. · Aritmética de precisión arbitraria rápida (intinf) basada en el Gnump. · Para los programas intensivos INTINF, Mlton puede ser un orden de magnitud o más rápido que POLY / ML o SML / NJ. · Perfiles de nivel de origen de ambos tiempo y asignación. · Generador LEXER MLLEX · Generador del analizador MLLYACC · ML-NLFFIGEN · Un simple y Fast c FRONITFUNCIONIPEnterface que admite llamadas desde SML a C y de C a SML. · El sistema de base ML para la programación en la entrega muy grande y separada de las fuentes de la biblioteca, y más. · Una serie de bibliotecas de extensión que proporcionan funcionalidad útiles que no pueden ser implementado con la biblioteca de base. Consulte a continuación una descripción general y mlttontructure para más detalles. · MLTON admite continuaciones a través de CALLCC y Lanzar. Funciones, así como el soporte para el acceso a / dev / aleatory y /dev/urandom.· Mlton tiene funciones similares a las funciones C GetRlimit y SetRLLIMIT. · MLTON admite un subconjunto de la funcionalidad de la función C GetRusage. · MLTON Soporta señal Manipuladores escritos en SML. Los manipuladores de señal se ejecutan en un hilo de Mlton separado y tienen acceso al hilo que fue interrumpido por la señal. Los manejadores de señal se pueden usar junto con los hilos para implementar la multitarea preventiva. · Mlton incluye una primitiva que devuelve el tamaño (en bytes) de cualquier objeto. Esto puede ser útil para comprender el comportamiento del espacio de un programa. · Mlton tiene una interfaz completa a la función C Syslog. · Mlton tiene soporte para sus propios hilos, sobre los cuales se puede implementar multitarea preventiva o no preventiva. Mlton también tiene soporte para ML concurrente (CML). · Mlton admite punteros débiles, lo que permite que el recolector de basura reclama los objetos que, de lo contrario, se vería obligado a mantener. Los punteros débiles también se utilizan para proporcionar finalización. · Mlton tiene una instalación para guardar todo el estado de un cálculo a un archivo y reiniciarlo más tarde. Esta instalación se puede utilizar para la puesta en escena y para el control de computadoras. Incluso se puede usar desde los manejadores de señal, lo que permite interrumpir puntos de control impulsados.

Mlton Software relacionado