Poly/ML

Desde la versión 4.0 de Poli / ML, que ahora es compatible con la versión completa de la lengua como en el "Definición de Standard ML (revisado)", generalmente conocido como ML97.
Además de ser puesta en práctica extremadamente rápido y eficiente de Standard ML Poli / ML ofrece varias características adicionales.
Poli / ML está disponible para las arquitecturas más populares y sistemas operativos. & Nbsp; & nbsp; Hay versiones de código nativo para el i386 (32 y 64 bits), Power PC y arquitecturas Sparc & nbsp;. & Nbsp; Hay una versión interpretada de código byte que se puede utilizar en arquitecturas no compatibles. El script de configuración seleccionará automáticamente la arquitectura en la construcción de la fuente

Características .

• Hay una interfaz de idioma extranjero que permite bibliotecas dinámicamente vinculados a cargar y funciones dentro de los llamaron de ML.
• Una interfaz de X-Windows utilizando Motif está disponible y una interfaz de programación de Windows.
• También hay un depurador simbólico para Poli / ML.

¿Qué hay de nuevo en esta versión:

• Nuevas características:
• Soporte para binarios independientes
• Soporte para plataformas adicionales: AMD64, Intel Macs, Cygwin
• Sin límites artificiales sobre el tamaño de los vertederos o imagen guardada
• Utiliza las herramientas estándar de GNU para la construcción
• mmap dirección fija y la trampa-manejo removidos

¿Qué hay de nuevo en la versión 5.3:

• Principales Nuevas Características:
• La adición de soporte de interfaz IDE.
• Cambios en bastante de impresión y la igualdad. Estos están ahora heredan a través de límites de módulo. La adición de PolyML.addPrettyPrinter instalar una impresora bastante nuevo estilo.
• aplicación Refundido de firmas, reduciendo los requisitos de memoria cuando se utiliza una firma llamada en múltiples lugares.
• Mejoras en la impresión de tipos y mensajes de error.
• Las adiciones menores y cambios:
• Soporte para fuera de árbol construye
• Añadido finalización para la interfaz de funciones extranjeras (CInterface)
• Soporte restante eliminado ML90
• Agregado PolyML.sourceLocation pseudo-función que devuelve la ubicación de origen actual, PolyML.raiseWithLocation que lanza una excepción con una ubicación explícita y PolyML.exceptionLocation que devuelve la ubicación donde se produce una excepción.
• PolyML.Compiler.reportUnreferencedIds Añadido interruptor para habilitar los informes de los identificadores sin referencia.
• Agregado breakEx y Clearex al depurador funciones. Estos entran en el depurador cuando el código plantea una excepción dado.
• Mejoras para resonsiveness de tuberías, especialmente en Windows.
• Versión Agregado x86-64 de la estructura Word32. Equipos de 64 bits no requieren valores de 32 bits que ser & quot; en caja & quot;.
• Corrección de errores:
• Ahora se basa en Mac OS X 10.6 (Snow Leopard)
• Fijar multi-threading en Sparc, pero ahora sólo es compatible con los procesadores v9.
• accidente relacionado con temporización Fix cuando las salidas de Poly / ML
• Fix cadena argumento a excepción OS.SysErr
• Fix a OS.FileSys.mkDir en Windows
• Fijar a pow (~ 1, n), donde n es par
• Varias correcciones para ajustarse mejor a la norma.