Poly/ML

Dal momento che la versione 4.0 di Poly / ML, che ora supporta la versione completa del linguaggio come contenute nella "definizione di ML standard (riveduta)", generalmente conosciuto come ML97.
Oltre ad essere l'attuazione estremamente rapida ed efficiente di standard ML Poly / ML offre diverse funzionalità aggiuntive.
Poly / ML è disponibile per le architetture più popolari e sistemi operativi. & Nbsp; & nbsp; Ci sono versioni di codice nativo per l'i386 (32 e 64 bit), Power PC e architetture Sparc. & Nbsp; & nbsp; Vi è un byte-code versione interpretata che può essere utilizzato su architetture non supportate. Lo script di configurazione selezionerà automaticamente l'architettura quando si costruisce da sorgente

Caratteristiche .

• Vi è una interfaccia lingua straniera che permette librerie a collegamento dinamico di caricare e funzioni all'interno li chiamavano da ML.
• Una interfaccia X-Windows utilizzando Motif è disponibile e un'interfaccia di programmazione di Windows.
• Vi è anche un debugger simbolico per Poly / ML.

Cosa c'è di nuovo in questa versione:

• Nuove funzionalità:
• Il supporto per i binari stand-alone
• Il supporto per altre piattaforme: AMD64, Mac Intel, Cygwin
• Nessun limite artificiale sulle dimensioni di heap o l'immagine salvata
• Utilizza strumenti GNU standard per la costruzione di
• fissi indirizzo mmap e trap-trattamento rimossi

Cosa c'è di nuovo in versione 5.3:

• Principali novità:
• Aggiunta del supporto per l'interfaccia IDE.
• Modifiche a pretty-printing e uguaglianza. Questi sono ora ereditati attraverso i confini dei moduli. L'aggiunta di PolyML.addPrettyPrinter installare una stampante abbastanza nuovo stile.
• attuazione Rielaborato di firme riducendo i requisiti di memoria quando una firma di nome viene utilizzato in più posti.
• I miglioramenti per la stampa di tipi e messaggi di errore.
• minori Aggiunte e modifiche:
• Supporto per out-of-albero costruisce
• Aggiunta di finalizzazione per l'interfaccia straniera funzione (CInterface)
• Supporto rimanente Rimosso per ML90
• Aggiunto PolyML.sourceLocation pseudo-funzione che restituisce il percorso di origine corrente, PolyML.raiseWithLocation che solleva un'eccezione con una posizione esplicita e PolyML.exceptionLocation che restituisce la posizione in cui è stata sollevata un'eccezione.
• PolyML.Compiler.reportUnreferencedIds Aggiunto passare a consentire la segnalazione di identificatori senza riferimenti.
• Aggiunto breakEx e Clearex di debugger funzioni. Questi entrano nel debugger quando il codice genera un dato eccezione.
• Improvement resonsiveness ai tubi soprattutto in Windows.
• Versione Aggiunto X86-64 struttura Word32. Macchine a 64 bit non richiedono valori a 32 bit per essere & quot; in scatola & quot;.
• Bug risolti:
• Ora si basa su Mac OS X 10.6 (Snow Leopard)
• Fissare il multi-threading su Sparc, ma ora supporta solo processori v9.
• Fix incidente timing-related quando esce Poli / ML
• Fix argomento stringa di OS.SysErr eccezione
• Correggi per OS.FileSys.mkDir in Windows
• Fissare al pow (~ 1, n), dove n è pari
• Varie correzioni per conformarsi più strettamente allo standard.