Poly/ML

Sedan 4.0 versionen av Poly / ML, stöder nu den fullständiga versionen av språket som anges i "Definition av Standard ML (reviderad)", allmänt känd som ML97.
Förutom att vara extremt snabbt och effektivt genomförande av Standard ML Poly / ML har flera ytterligare funktioner.
Poly / ML är tillgänglig för de mest populära arkitekturer och operativsystem. & Nbsp; & nbsp; Det finns inbyggd kod versioner för i386 (32 och 64 bitar), Power PC och SPARC-arkitekturer. & Nbsp; & nbsp; Det finns en byte-kod tolkas version som kan användas på inte stöds arkitekturer. Configure skriptet kommer automatiskt att välja arkitekturen när man bygger från källkod

Egenskaper .

• Det finns ett främmande språk gränssnitt som gör det möjligt dynamiskt länkade bibliotek som ska läsas och funktioner inom dem ringde från ML.
• En X-Windows-gränssnittet använder Motif är tillgänglig och en Windows-programmeringsgränssnitt.
• Det finns också en symbolisk debugger för poly / ML.

Vad är nytt i den här versionen:

• Nya funktioner:
• Stöd för fristående binärer
• Stöd för ytterligare plattformar: AMD64, Intel Mac, Cygwin
• Det finns inga konstgjorda gränser för storleken på högar eller sparade bilden
• Använder standard GNU-verktygen för att bygga
• Fast adress mmap och fälla hantering bort

Vad är nytt i version 5.3:

• Större Nya funktioner:
• Tillsats av IDE-gränssnitt stöd.
• Ändringar pretty-tryckning och jämlikhet. Dessa är nu ärvt över modulgränserna. Tillsats av PolyML.addPrettyPrinter att installera en ny stil ganska skrivare.
• Omarbetad genomförandet av signaturer minskar minneskraven när en namngiven signatur används på flera ställen.
• Förbättringar av utskrift av olika typer och felmeddelanden.
• Mindre tillägg och ändringar:
• Stöd för out-of-träd bygger
• Inkom slutförande för utländska funktioner gränssnitt (CInterface)
• Removed återstående stöd för ML90
• Lade PolyML.sourceLocation pseudo-funktion som returnerar den aktuella källplatsen, PolyML.raiseWithLocation som höjer ett undantag med en tydlig plats och PolyML.exceptionLocation som returnerar den plats där ett undantag höjdes.
• Lades PolyML.Compiler.reportUnreferencedIds växla för att möjliggöra rapportering av orefererade identifierare.
• Lade breakEx och clearEx att debugger funktioner. Dessa anger debugger när koden väcker ett visst undantag.
• Förbättring resonsiveness till rör i synnerhet i Windows.
• tillagd x86-64 version av Word32 struktur. 64-bitars maskiner kräver inte 32-bitars värden att vara & quot; boxed & quot;.
• Buggfixar:
• Nu bygger på Mac OS X 10.6 (Snow Leopard)
• Fix multi-threading på Sparc men nu bara stöder V9 processorer.
• Fix timing relaterade kraschar när Poly / ML utgångar
• Fix strängargument till OS.SysErr undantag
• Fix till OS.FileSys.mkDir i Windows
• Fix till pow (~ 1, n) där n är ännu
• Olika fixar att närmare överensstämmer med standarden.