Poly/ML

Sinds de 4.0 versie van Poly / ML, ondersteunt nu de volledige versie van de taal zoals die in de "Definitie van Standard ML (herzien)", algemeen bekend als ML97.
Maar ook als zeer snelle en efficiënte uitvoering van Standard ML Poly / ML biedt een aantal extra functies.
Poly / ML is beschikbaar voor de meest populaire architecturen en besturingssystemen. & Nbsp; & nbsp; Er zijn native code versies voor de i386 (32 en 64 bit), Power PC en Sparc architecturen & nbsp;. & Nbsp; Er is een byte-code geïnterpreteerd uitvoering die kan worden gebruikt ondersteunde platforms. Het configure script zal automatisch de architectuur te selecteren bij het bouwen van de bron

Eigenschappen .

• Er wordt een vreemde taal-interface die het mogelijk maakt dynamisch gelinkte bibliotheken worden geladen en functies binnen riep hen uit ML.
• Een X-Windows-interface met behulp van Motif is beschikbaar en een Windows programming interface.
• Er is ook een symbolische debugger voor Poly / ML.

Wat is nieuw in deze release:

• Nieuwe functies:
• Ondersteuning voor stand-alone binaries
• Ondersteuning voor extra platforms: AMD64, Intel Macs, Cygwin
• Geen kunstmatige grenzen aan de grootte van afvalbergen of opgeslagen beeld
• Gebruikt standaard GNU tools voor het bouwen
• Vast adres mmap en val-handling verwijderd

Wat is nieuw in versie 5.3:

• Major Nieuwe functies:
• Toevoeging van IDE-interface ondersteunen.
• Wijzigingen pretty-printing en gelijkheid. Deze worden nu overgeërfd over module grenzen. Toevoeging van PolyML.addPrettyPrinter om een ​​nieuwe-stijl vrij printer te installeren.
• Reworked uitvoering van handtekeningen verminderen van het geheugen eisen wanneer een naam handtekening wordt gebruikt op meerdere plaatsen.
• Verbeteringen om het afdrukken van de soorten en foutmeldingen.
• Minor Aanvullingen en wijzigingen:
• Ondersteuning voor out-of-tree bouwt
• Toegevoegd afronding voor buitenlandse-functie interface (CInterface)
• Verwijderd de resterende steun voor ML90
• Toegevoegd PolyML.sourceLocation pseudo-functie die de huidige bron locatie terugkeert, PolyML.raiseWithLocation dat een uitzondering met een expliciete locatie en PolyML.exceptionLocation dat de locatie waar een uitzondering werd opgeheven terug verhoogt.
• Toegevoegd PolyML.Compiler.reportUnreferencedIds schakelen naar rapportage van unreferenced identifiers mogelijk te maken.
• Toegevoegd breakEx en clearEx aan functies debugger. Deze voert de debugger wanneer de code roept een bepaalde uitzondering.
• Verbetering resonsiveness te pijpen vooral in Windows.
• Toegevoegd x86-64 versie van Word32 structuur. 64-bit machines niet 32-bits waarden nodig te zijn & quot; boxed & quot;.
• Bug Fixes:
• Nu bouwt voort op Mac OS X 10.6 (Snow Leopard)
• Fix multi-threading op Sparc maar nu ondersteunt alleen v9 processors.
• Fix-timing gerelateerde crash bij Poly / ML uitgangen
• Fix tekenreeksargument om OS.SysErr uitzondering
• Fix om OS.FileSys.mkDir in Windows
• Fix om pow (~ 1, n), waarbij n zelfs
• Diverse fixes nauwer voldoen aan de norm.