Mlton. MLTON è un programma intero ottimizzando il compilatore ML standard.
Scarica ora

Mlton. Classifica e riepilogo

Mlton. Tag

compilatore compilatore Linux compilatore ML compilatore otimizer MLton Ml

Mlton. Descrizione

MLTON è un programma intero ottimizzante il compilatore ML standard. MLTON è un programma intero ottimizzante il compilatore ML standard. Il progetto MLTON genera eseguibili standalone con eccellenti prestazioni di runtime, supporta la lingua completa SML 97 e ha una biblioteca di base completa. Ha anche un FFI FFI FFI, tempo di sorgente e profilazione di allocazione e molte utili biblioteche.Supporta il pieno SML 97. linguaggio come indicato nella definizione di ml standard (rivisto). - Se esiste un programma valido in base alla definizione che viene respinta da MLTON, o un programma non valido in base alla definizione accettata da MLton, è un bug. Per un elenco di bug noti, vedi iRoSolvedBugs. Un'implementazione completa della biblioteca di base. - L'implementazione di Mlton corrisponde alle ultime specifiche della biblioteca di base e include un'implementazione completa di tutti i moduli richiesti, nonché molti dei moduli opzionali. Genera eseguibili standalone. - Non sono necessari alcun codice aggiuntivo o librerie per eseguire un eseguibile, ad eccezione delle librerie condivise standard. Mlton può anche generare eseguibili collegati staticamente. Compila programmi di grandi dimensioni. - Mlton è sufficientemente efficiente e robusto che può compilare programmi di grandi dimensioni, inclusa se stessa (oltre 140k linee). La versione distribuita di Mlton è stata compilata da Mlton. Supporto per grandi quantità di memoria (fino a 4G). ARRAY LUNGHEZZA FINO A 231 - 1, il più grande numero più grande possibile a 32 bit. Supporto per file di grandi dimensioni, utilizzando posizioni di file a 64 bit. Che cosa è nuovo in questa versione: · MLTON è ora rilasciato sotto la licenza BSD, non il GPL. · Vi è una documentazione sostanzialmente migliorata basata sul wiki MLTON. X86 / MINGW e HPPA / Linux sono supportati. · Ci sono miglioramenti alle annotazioni di base FFI, ML e nuove librerie: la libreria CKIT e SML / NJ.

Mlton. Software correlato