Mlton. MLTON è un programma completo, tutto il programma, ottimizzando il compilatore ML standard
Scarica ora

Mlton. Classifica e riepilogo

Mlton. Tag

creare compilare compilatore Generatore di parser compilatore ml Compilatore di programma

Mlton. Descrizione

MLTON è un programma completo, ottimizzante, ottimizzando il compilatore ML standard MLTON è un compilatore ML standard open source, ottimizzante, integro. Ciò sono alcune funzionalità chiave di "Mlton": · Funziona su una varietà di piattaforme. · Supporta la lingua completa SML 97 come indicato nella definizione di ml standard ( Riviste). · Se c'è un programma valido in base alla definizione respinta da MLTON, o un programma non valido in base alla definizione accettata da MLton, è un bug. Per un elenco di bug noti, vedere iBugs. · Un'implementazione completa della libreria 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 standalone Eseguibili: non sono necessari alcun codice aggiuntivo o librerie per eseguire un eseguibile, ad eccezione delle librerie condivise standard. Mlton può anche generare eseguibili collegati con staticamente. · Compila programmi di grandi dimensioni: Mlton è sufficientemente efficiente e robusto che possa 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 su sistemi a 32 bit; più su sistemi a 64 bit). · ARRAY LUNGHEZZA fino a 231 - 1, il più grande complemento TWOS possibile Integer a 32 bit. · Supporto per file di grandi dimensioni, utilizzando posizioni di file a 64 bit. · Gli eseguibili hanno tempi di esecuzione eccellenti. · Genera piccoli eseguibili: Mlton sfrutta la compilazione del programma intero per eseguire un'eliminazione morta molto aggressiva, che spesso porta agli eseguibili più piccoli che con altri compilatori SML. · I numeri interi nativi, i reali e le parole: in Mlton, in numeri interi e parole sono 32 bit e aritmetico non ha alcun sovraccarico dovuto a tagging o boxe. Inoltre, i reali sono memorizzati non memorizzati, evitando qualsiasi spesa dovuta alla boxe. · Array nativi non scadenti: in Mlton, un array (o vettore) di numeri interi, reali o parole utilizza la naturale rappresentazione simile a C. Questo è veloce e supporta un facile scambio di dati con gli array di C. monomorfo (e i vettori) utilizzano le stesse rappresentazioni di C-simili alle loro controparti polimorfiche. · Più strategie di raccolta dei rifiuti. · Aritmetica arbitrarica veloce (INTINF) in base al GNUMP. · Per i programmi intensivi INTINF, MLTON può essere un ordine di grandezza o più veloce di Poly / ML o SML / NJ. · Profilazione a livello di origine sia del tempo e dell'allocazione. · Generatore di lexer MLLEX · Generatore di parser MLyacc · ML-NLFFIGNEN · Un semplice e veloce c stranalfunctioninterface che supporta la chiamata da SML a C e da C a SML. · Il sistema di base ML per la programmazione nella fornitura molto ampia e separata delle fonti della libreria e altro ancora. · Un certo numero di librerie di estensione che forniscono funzionalità utili che non possono essere implementato con la biblioteca di base. Vedere sotto per una panoramica e mltonstructure per i dettagli. · MLTON supporta le continuazioni tramite Callcc e lancio. · MLTON supporta i valori finalizzati del tipo arbitrario. · MLTON supporta la funzionalità della funzione C SetItimer. · Mlton ha funzioni simili a C Rand e Srand Le funzioni, nonché il supporto per l'accesso a / dev / casuale e /dev/urandom.· MLTON ha funzioni simili alle funzioni C GetRillimit e Setrlimit. · MLTON supporta un sottoinsieme della funzionalità della funzione C GetRusage. · MLTON supporta il segnale Guaristi scritti in SML. I gestori di segnale funzionano in un filettatura di Mlon separata e l'accesso al filo che è stato interrotto dal segnale. I gestori di segnale possono essere utilizzati in combinazione con i thread per implementare il multitasking preventivo. · Mlon include una primitiva che restituisce la dimensione (in byte) di qualsiasi oggetto. Questo può essere utile nel comprendere il comportamento spaziale di un programma. · Mlton ha un'interfaccia completa alla funzione C Syslog. · MLTON ha il supporto per i propri thread, su cui è possibile implementare il multitasking preventivo o non preventivo. MLTON ha anche il supporto per ML concorrente (CML). · MLTON supporta i puntatori deboli, che consentono al collettore della spazzatura di recuperare oggetti che sarebbe altrimenti forzato a mantenere. I puntatori deboli sono anche usati per fornire la finalizzazione. · Mlton ha una struttura per salvare l'intero stato di un calcolo in un file e riavviarlo in seguito. Questa struttura può essere utilizzata per la messa in scena e per il controllo del checkPointing. Può anche essere utilizzato da un gestori di segnale, consentendo il checkpoint azionato da interrupt.

Mlton. Software correlato