Poly/ML

Depuis la version 4.0 de Poly / ML, il prend désormais en charge la version complète de la langue donnée dans la "Définition de Standard ML (révisée)", généralement connu comme ML97.
En plus d'être mise en œuvre très rapide et efficace de Standard ML Poly / ML offre plusieurs fonctionnalités supplémentaires.
Poly / ML est disponible pour les architectures les plus populaires et les systèmes d'exploitation. & Nbsp; & nbsp; Il existe des versions de code natif pour le i386 (32 bits et 64 bits), Power PC et les architectures Sparc & nbsp;. & Nbsp; Il existe une version byte-code interprété qui peut être utilisé sur des architectures non pris en charge. Le script de configuration sélectionne automatiquement l'architecture lors de la construction de la source

Caractéristiques :.

• Il est une interface en langue étrangère qui permet bibliothèques liées dynamiquement à charger et à des fonctions au sein de ces appelés de ML.
• Une interface X-Windows à l'aide Motif est disponible et une interface de programmation Windows.
• Il est également un débogueur symbolique pour Poly / ML.

Ce qui est nouveau dans cette version:

• Nouvelles fonctionnalités:
• Support pour les binaires autonomes
• Support pour les plateformes supplémentaires: AMD64, Intel Macs, Cygwin
• Pas de limites artificielles sur la taille du tas ou image enregistrée
• Utiliser les outils GNU standards pour la construction
• mmap d'adresse fixe et le piège de manutention enlevés

Ce qui est nouveau dans la version 5.3:

• de nouvelles fonctionnalités majeures:
• Ajout d'IDE charge de l'interface.
• Changements à jolie impression et de l'égalité. Ceux-ci sont maintenant à travers les frontières héritées du module. Ajout de PolyML.addPrettyPrinter installer un joli imprimante d'un style nouveau.
• Remaniement mise en œuvre des signatures réduisant les besoins en mémoire quand une signature nommé est utilisé à plusieurs endroits.
• Amélioration de l'impression des types et des messages d'erreur.
• mineures Ajouts et modifications:
• Support pour out-of-tree construit
• Ajout de finalisation pour l'interface fonction étrangère (CInterface)
• support restant retiré pour ML90
• Ajouté PolyML.sourceLocation pseudo-fonction qui renvoie l'emplacement de source de courant, PolyML.raiseWithLocation qui soulève une exception avec un emplacement explicite et PolyML.exceptionLocation qui renvoie l'emplacement où une exception a été soulevée.
• PolyML.Compiler.reportUnreferencedIds Added passer à activer les rapports d'identifiants non référencés.
• Ajouté breakEx et Clearex au débogueur fonctions. Ceux-ci entrent dans le débogueur lorsque le code lève une exception donnée.
• Amélioration resonsiveness à des tuyaux en particulier dans Windows.
• version Ajouté X86-64 de la structure Word32. Les machines 64 bits ne nécessitent pas de valeurs 32 bits pour être & quot; boîte & quot;.
• Correction de bugs:
• construit maintenant sur Mac OS X 10.6 (Snow Leopard)
• Correction multi-threading sur Sparc mais maintenant seulement supporte les processeurs v9.
• accident lié de synchronisation-Fix quand sorties Poly / ML
• Fix argument de chaîne à OS.SysErr exception
• Correction d'OS.FileSys.mkDir dans Windows
• Correction de pow (~ 1, n) où n est encore
• Diverses corrections de se conformer plus étroitement à la norme.