Poly/ML

Siden 4,0 version af Poly / ML, det understøtter nu den fulde version af sproget som angivet i "Definition af Standard ML (revideret)", almindeligt kendt som ML97.
Ud over at være ekstremt hurtig og effektiv gennemførelse af Standard ML Poly / ML giver flere ekstra funktioner.
Poly / ML er til rådighed for de mest populære arkitekturer og operativsystemer & nbsp;. & Nbsp; Der er native kode versioner til i386 (32 og 64 bit), Power PC og Sparc arkitekturer. & Nbsp; & nbsp; Der er en byte-kode fortolket version, som kan anvendes på ikke-understøttede arkitekturer. Configure script vil automatisk vælge den arkitektur, når man bygger fra kilden

Funktioner :.

• Der er et fremmed sprog-interface, som giver mulighed dynamisk forbundet biblioteker til at blive lastet og fungerer i dem kaldes fra ML.
• En X-Windows interface ved hjælp Motiv er til rådighed, og en Windows programming interface.
• Der er også en symbolsk debugger for Poly / ML.

Hvad er nyt i denne udgivelse:

• Nye funktioner:
• Støtte til stand-alone binære filer
• Support for yderligere platforme: AMD64, Intel Macs, Cygwin
• Ingen kunstige grænser for størrelsen af ​​dynger eller gemt billede
• Bruger standard GNU værktøjer til opbygning
• Fast adresse mmap og trap-håndtering fjernet

Hvad er nyt i version 5.3:

• Major Nye funktioner:
• Tilsætning af IDE-interface support.
• Ændringer pretty-printing og lighed. Disse er nu arvet tværs modul grænser. Tilsætning af PolyML.addPrettyPrinter at installere en ny stil temmelig printer.
• omarbejdet gennemførelse af underskrifter reducerer kravene hukommelse, når en navngiven signatur bruges flere steder.
• Forbedringer til trykning af typer og fejlmeddelelser.
• Mindre tilføjelser og ændringer:
• Støtte til out-of-tree bygger
• Tilføjet afslutning for udenlandsk funktion interface (CInterface)
• Fjernet resterende støtte til ML90
• Tilføjet PolyML.sourceLocation pseudo-funktion, der returnerer den aktuelle kilde placering, PolyML.raiseWithLocation der rejser en undtagelse med en udtrykkelig beliggenhed og PolyML.exceptionLocation der returnerer det sted, hvor en undtagelse blev rejst.
• Tilføjet PolyML.Compiler.reportUnreferencedIds skifte til muliggøre rapportering af objekt uden visning identifikatorer.
• Tilføjet breakEx og clearEx at debugger funktioner. Disse indtaste debugger når koden rejser en given undtagelse.
• Forbedring resonsiveness til rør, især i Windows.
• Tilføjet x86-64 version af Word32 struktur. 64-bit-maskiner kræver ikke 32-bit-værdier til at være & quot; boxed & quot;.
• Fejlrettelser:
• Nu bygger på Mac OS X 10.6 (Snow Leopard)
• Fix multi-threading på Sparc men nu understøtter kun V9 processorer.
• Fix timing-relaterede nedbrud når Poly / ML udgange
• Fix string argument OS.SysErr undtagelse
• Fix til OS.FileSys.mkDir i Windows
• Fix til pow (~ 1, n), hvor n er endnu
• Forskellige rettelser i overensstemmelse tættere til standard.