Poly/ML

Siden 4.0 versjonen av Poly / ML, nå støtter den fullstendige versjonen av språket som gitt i "Definisjon av Standard ML (revidert)", vanligvis kjent som ML97.
I tillegg til å være ekstremt rask og effektiv implementering av Standard ML Poly / ML gir flere funksjoner.
Poly / ML er tilgjengelig for de mest populære arkitekturer og operativsystemer. & Nbsp; & nbsp; Det er innfødt kodeversjoner for i386 (32 og 64 bit), Power PC og Sparc arkitekturer. & Nbsp; & nbsp; Det er en byte-kodeversjonen tolkes som kan brukes på ikke støttes arkitekturer. Configure skriptet vil automatisk velge arkitekturen når bygningen fra kilden

Egenskaper .

• Det er et fremmed språk grensesnitt som gjør det mulig dynamisk lenkede biblioteker som skal lastes og funksjoner innenfor dem ringte fra ML.
• En X-Windows-grensesnittet ved hjelp Motif er tilgjengelig, og en Windows programmeringsgrensesnitt.
• Det er også en symbolsk debugger for Poly / ML.

Hva er nytt i denne versjonen:

• Nye funksjoner:
• Støtte for frittstående binærfiler
• Støtte for flere plattformer: AMD64, Intel-Mac, Cygwin
• Ingen kunstige begrensninger på størrelsen av masser eller lagret bilde
• Bruker standard GNU-verktøyene for å bygge
• Fast adresse mmap og trap-håndtering fjernet

Hva er nytt i versjon 5.3:

• viktigste nye funksjonene:
• Tilsetting av IDE-grensesnittet støtte.
• Endringer i pen-utskrift og likestilling. Disse er nå arvet tvers modul grenser. Tilsetting av PolyML.addPrettyPrinter å installere en ny stil ganske skriveren.
• omarbeidet implementering av signaturer redusere kravene minne når en navngitt signatur brukes på flere steder.
• Forbedret utskrift av typer og feilmeldinger.
• Minor tillegg og endringer:
• Støtte for ut-av-tre bygger
• Lagt sluttbehandling for utenlandsk-funksjon grensesnitt (CInterface)
• Fjernet rester støtte for ML90
• Lagt PolyML.sourceLocation pseudo-funksjon som returnerer gjeldende kilde beliggenhet, PolyML.raiseWithLocation som hever et unntak med en eksplisitt beliggenhet og PolyML.exceptionLocation som returnerer stedet der et unntak ble hevet.
• Lagt PolyML.Compiler.reportUnreferencedIds bryter for å aktivere rapportering av unreferenced identifikatorer.
• Lagt breakEx og clearEx å debugger funksjoner. Disse går inn i debugger når koden reiser et gitt unntak.
• Forbedring å resonsiveness til rør spesielt i Windows.
• Lagt x86-64 versjon av Word32 struktur. 64-bits maskiner krever ikke 32-biters verdier å være & quot; eske & quot;.
• feilrettinger:
• bygger nå på Mac OS X 10.6 (Snow Leopard)
• Fix multi-threading på Sparc, men nå bare støtter v9 prosessorer.
• Fix timing relaterte krasjer når Poly / ML utganger
• Fix strengargument til OS.SysErr unntak
• Fix å OS.FileSys.mkDir i Windows
• Fix til pow (~ 1, n) der n er enda
• Forskjellige fikser å samsvare mer tett til standard.