Poly/ML

De la versiunea 4.0 de Poli / ML, acesta suportă acum versiunea completă a limbii, așa cum figurează în "Definirea Standard ML (revizuit)", în general, cunoscut sub numele de ML97.
Precum și punerea în aplicare fiind extrem de rapidă și eficientă a Standard ML Poli / ML oferă mai multe caracteristici suplimentare.
Poli / ML este disponibil pentru cele mai populare arhitecturi și sisteme de operare. & Nbsp; & nbsp; Există versiuni de cod nativ pentru i386 (32 și 64 biți), Power PC și arhitecturi Sparc. & Nbsp; & nbsp; Există o versiune byte-code interpretată care poate fi folosit pe arhitecturi neacceptate. Scriptul configure va selecta automat arhitectura la construirea de la sursa

Caracteristici :.

• Nu este o interfață limbă străină, care permite biblioteci legate dinamic să fie încărcate și funcționează în cadrul ia chemat din ML.
• O interfață X-Windows utilizând Motif este disponibil și o interfață de programare Windows.
• De asemenea, există un debugger simbolic pentru Poli / ML.

Ce este nou în această versiune:

• Caracteristici noi:
• Suport pentru binare stand-alone
• Suport pentru platforme suplimentare: AMD64, Intel Mac-uri, Cygwin
• Nu există limite artificiale pe dimensiunea grămezi sau imagini salvate
• Folosește instrumente standard GNU pentru construirea
• mmap adresa fixă ​​și capcana-manipulare eliminat

Ce este nou în versiunea 5.3:

• majore Caracteristici noi:
• Adăugarea de suport interfata IDE.
• Modificări destul de imprimare și egalitate. Acestea sunt acum mostenite dincolo de granițele modulului. Adăugarea de PolyML.addPrettyPrinter pentru a instala o imprimantă destul de stil nou.
• implementarea refăcut de semnături reducerea cerințelor de memorie, atunci când o semnătură nume este utilizat în mai multe locuri.
• Îmbunătățiri tipărirea de tipuri și mesaje de eroare.
• minore Completări și modificări:
• Suport pentru out-of-tree construiește
• finalizare Adăugat de interfață funcția străine (CInterface)
• Eliminat suport rămasă pentru ML90
• Adaugat PolyML.sourceLocation pseudo-funcție care returnează locația curentă sursă, PolyML.raiseWithLocation care ridică o excepție, cu o locație explicită și PolyML.exceptionLocation care returnează locația în care a fost ridicată o excepție.
• PolyML.Compiler.reportUnreferencedIds Adăugat comuta pentru a permite raportarea de identificare fără referință.
• Adaugat breakEx și clearEx a Debugger funcții. Acestea intra debugger atunci când codul ridică o dată excepție.
• Îmbunătățirea să resonsiveness la conductele mai ales în Windows.
• Versiunea Adaugat x86-64 structurii Word32. Mașini pe 64 de biți nu necesită valori pe 32 de biți pentru a fi & quot; cutie & quot;.
• Fixat Bug:
• Acum se bazează pe Mac OS X 10.6 (Snow Leopard)
• Fix multi-threading la Sparc dar acum suporta doar procesoare V9.
• Fix crash legate de calendarul atunci când ieșirile Poli / ML
• Fix argument șir de OS.SysErr excepție
• Fix pentru OS.FileSys.mkDir în Windows
• Fix pentru Pow (~ 1, n), unde n este chiar
• Diverse remedieri pentru a se conforma mai îndeaproape cu standardul.