Questa è l'app Linux denominata MLton la cui ultima versione può essere scaricata come mlton-20200817-amd64-mingw-gmp-dynamic.tgz. Può essere eseguito online nel provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online questa app chiamata Mlton con OnWorks gratuitamente.
Segui queste istruzioni per eseguire questa app:
- 1. Scaricata questa applicazione sul tuo PC.
- 2. Entra nel nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 3. Carica questa applicazione in tale file manager.
- 4. Avviare l'emulatore online OnWorks Linux o Windows online o l'emulatore online MACOS da questo sito Web.
- 5. Dal sistema operativo OnWorks Linux che hai appena avviato, vai al nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 6. Scarica l'applicazione, installala ed eseguila.
MLton
Ad
DESCRIZIONE
MLton è un compilatore di ottimizzazione dell'intero programma per Standard ML. MLton genera piccoli eseguibili con eccellenti prestazioni di runtime, utilizzando interi, reali e parole nativi senza tag e senza box, array nativi unboxed, aritmetica veloce con precisione arbitraria basata su GnuMP e più strategie di generazione di codice e raccolta dei rifiuti. Inoltre, MLton fornisce un ambiente di programmazione Standard ML ricco di funzionalità, con pieno supporto per SML97 come indicato in The Definition of Standard ML (Revised), una serie di utili estensioni del linguaggio, un'implementazione completa della Standard ML Basis Library, varie librerie utili , un'interfaccia C esterna semplice e veloce, il sistema ML Basis per la programmazione con librerie di sorgenti e strumenti come un generatore di lexer, un generatore di parser e un profiler.
Pubblico
Sviluppatori
Interfaccia utente
Console/terminale, riga di comando
Linguaggio di programmazione
ML standard
Questa è un'applicazione che può anche essere scaricata da https://sourceforge.net/projects/mlton/. È stato ospitato in OnWorks per essere eseguito online in modo più semplice da uno dei nostri sistemi operativi gratuiti.