Poly/ML

От 4.0 версия на Poly / ML, тя вече поддържа пълната версия на езика, както е дадено в "определение на стандарта за ML (ревизирана)", известна като ML97.
Освен че е изключително бързо и ефикасно изпълнение на Standard ML Poly / ML предоставя няколко допълнителни функции.
Poly / ML е на разположение за най-популярните архитектури и операционни системи & Nbsp;. & Nbsp; Има родния код версии за i386 (32 и 64-битова), Power PC и Sparc архитектури & Nbsp;. & Nbsp; Има байт-код тълкува версия, която може да се използва за неподдържани архитектури. Конфигурирате скрипт автоматично ще избере архитектурата при изграждането на източника

<силни> Характеристики :.

• Не е чужд език интерфейс, което позволява на динамично свързани библиотеки да бъдат натоварени и функции в рамките ги наричат ​​от ML.
• Интерфейс X-Windows, използвайки Motif е достъпно и интерфейс за програмиране на Windows.
• Има и символична дебъгер за Poly / ML.

Какво ново в тази версия:

• Нови функции:
• Поддръжка за самостоятелни изпълними файлове
• Подкрепа за допълнителни платформи: AMD64, Intel Mac-ове, Cygwin
• Без изкуствени ограничения върху размера на купчини или запаметено изображение
• Използва стандартни инструменти на GNU за изграждане
• постоянен адрес mmap и капан-боравене отстранен

Какво ново във версия 5.3:

• Основни Нови функции:
• Добавяне на IDE подкрепа интерфейс.
• Промени в доста-печат и равенство. Те сега са наследени през границите на модула. Добавянето на PolyML.addPrettyPrinter да инсталирате нов стил доста принтер.
• Преработен изпълнение на подписи за намаляване на изискванията за памет, когато назован подпис се използва в множество места.
• Подобрения на печат на видове и съобщения за грешки.
• Малки Допълнения и промени:
• Подкрепа за извън-дърво изгражда
• Добавена финализиране на чуждестранна функция интерфейс (CInterface)
• Премахнато оставащата подкрепа за ML90
• Добавено PolyML.sourceLocation псевдо-функция, която връща текущото местоположение източник, PolyML.raiseWithLocation че извиква изключение с изрично местоположение и PolyML.exceptionLocation, че се връща на мястото, където е бил повдигнат по изключение.
• Добавени PolyML.Compiler.reportUnreferencedIds преминат към активирате отчитането на отнасят към него идентификатори.
• Добавено breakEx и clearEx да дебъгер функции. Това влиза дебъгер, когато кодът повдига даден изключение.
• Подобряване на resonsiveness да тръби особено в Windows.
• Добавено x86-64 версия на Word32 структура. 64-битови машини не изискват 32-битови стойности, за да бъде & quot; опаковка & quot;.
• Корекции на грешки:
• Сега се гради на Mac OS X 10.6 (Snow Leopard)
• Fix многонишкова на Sparc но сега поддържа само V9 процесори.
• Fix времето, свързани с катастрофата, когато Poly / мл изходи
• Fix низ аргумент да OS.SysErr изключение
• Fix да OS.FileSys.mkDir в Windows
• Fix да Pow (~ 1, п), където п е дори
• Различни поправки, за да отговарят по-добре на стандарта.