Poly/ML

З версії Poly / ML 4.0, тепер він підтримує повну версію мови, як зазначено в "Визначення Standard ML (переглянута)", як правило, відомі як ML97.
Як добре, як дуже швидко і ефективна реалізація стандартного 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 для будівництва
• Виправлена ​​адреса ММАП і пастки звернення видалені

Що нового у версії 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.
• Виправлена ​​часу, пов'язані з крах, коли Полі / ML виходить
• Виправлена ​​рядок аргумент OS.SysErr винятком
• Виправлена ​​на OS.FileSys.mkDir в ОС Windows
• Fix для військовополонених (~ 1, п), де п четно
• Різні виправлення, щоб відповідати більш близько до стандарту.