Poly/ML

Od wersji 4.0 Poly / ML, teraz wspiera pełną wersję języka, jak podano w "Definicja Standard ML (zrewidowanej)", ogólnie znane jako ML97.
Jak również jest bardzo szybka i sprawna realizacja Standard ML Poly / ML oferuje kilka dodatkowych funkcji.
Poly / ML jest dostępny dla najpopularniejszych architektur i systemów operacyjnych. & Nbsp; & nbsp; Są rodzime wersje kodu dla i386 (32 i 64 bit), Power PC i architektury Sparc. & Nbsp; & nbsp; Istnieje bajtów kodu version interpretować które mogą być stosowane w niepodpartych architektur. Skrypt konfiguracyjny automatycznie wybierze architekturę podczas budowania ze źródeł

Opis .

• Nie jest interfejs, który pozwala języka obcego dynamicznie powiązane biblioteki mają być ładowane w nich funkcje i zawołał z ML.
• Interfejs X-Windows przy użyciu Motif jest dostępna i interfejs programowania systemu Windows.
• Istnieje również symboliczne debugger dla Poly / ML.

Co nowego w tym wydaniu:

• Nowe funkcje:
• Wsparcie dla samodzielnych plików binarnych
• Obsługa dodatkowych platform: AMD64, Intel Mac, Cygwin
• Brak sztuczne ograniczenia wielkości stert lub zapisane zdjęcie
• Używa standardowych narzędzi GNU na budowę
• Poprawiono mmap adres i trap-obchodzenie usunąć

Co nowego w wersji 5.3:

• Najważniejsze nowe funkcje:
• Dodanie wsparcia interfejsu IDE.
• Zmiany całkiem-Druk i równość. Obecnie są one dziedziczone przez granice modułu. Dodanie PolyML.addPrettyPrinter zainstalować drukarkę nowy ładny stylu.
• Reworked wdrożenie podpisów zmniejszając zapotrzebowanie na pamięć, gdy stosowany jest podpis nazwie w wielu miejscach.
• Poprawki do druku typów i komunikatów o błędach.
• Drobne uzupełnienia i zmiany:
• Wsparcie dla out-of-drzewa buduje
• Dodane finalizacja dla interfejsu funkcji obcych (CInterface)
• Usunięto Pozostałe wsparcie dla ML90
• Dodane PolyML.sourceLocation pseudo-funkcja, która zwraca bieżącą lokalizację źródłową, PolyML.raiseWithLocation że podnosi wyjątek z wyraźnym miejscu i PolyML.exceptionLocation które zwraca lokalizację, w której został rzucony wyjątek.
• Dodane PolyML.Compiler.reportUnreferencedIds przełącznik, aby umożliwić zgłaszanie przypisań identyfikatorów.
• Dodane breakEx i Clearex do debuggera funkcji. Te wprowadzić debuggera, gdy kod podnosi dany wyjątek.
• Poprawa do resonsiveness do rur, zwłaszcza w systemie Windows.
• Dodane x86-64 wersja struktury Word32. 64-bitowe maszyny nie wymagają wartości 32-bitowych będzie & quot; box & rdquo;.
• Poprawione błędy:
• Teraz opiera się na systemie Mac OS X 10.6 (Snow Leopard)
• Fix wielowątkowości na Sparc, ale obsługuje tylko procesory V9.
• Fix awarii związanych czas, kiedy wyjścia Poly / ml
• Fix ciąg argument wyjątkiem OS.SysErr
• Fix do OS.FileSys.mkDir w Windows
• Fix do pow (~ 1, n), gdzie n jest parzyste,
• Różne poprawki do większej zgodności z normą.