Mlton MLTON is een open-source, Whole-programma, het optimaliseren van standaard ML-compiler
Download nu

Mlton Rangschikking & Samenvatting

Mlton Tags

genereren compileren compiler parser generator ML-compiler programmeercompiler

Mlton Beschrijving

Mlton is een open-source, Whole-programma, het optimaliseren van standaard ML-compiler Mlton is een open-source, optimalisatie, hele programma standaard ml compiler.Here zijn enkele belangrijke functies van "Mlton": · loopt op verschillende platforms. · Ondersteunt de volledige SML 97-taal zoals gegeven in de definitie van standaard ML ( Herzien). · Als er een programma is dat geldig is volgens de definitie die wordt afgewezen door Mlton, of een programma dat ongeldig is volgens de definitie die door Mlton wordt geaccepteerd, is het een bug. Zie Onnalige implementatie van de basisbibliotheek voor een lijst met bekende bugs. · Een volledige implementatie van de basisbibliotheek: de implementatie van Mlton komt overeen met de nieuwste basisbibliotheekspecificatie en bevat een volledige implementatie van alle vereiste modules, evenals veel van de optionele modules. · Genereer standalone Uitvoerbareables: geen aanvullende code of bibliotheken zijn nodig om een uitvoerbaar bestand uit te voeren, behalve de standaard gedeelde bibliotheken. Mlton kan ook statisch gekoppelde uitvoerbare bestanden genereren. · Compileer grote programma's: Mlton is voldoende efficiënt en robuust dat het grote programma's kan samenstellen, inclusief zichzelf (meer dan 140K-lijnen). De gedistribueerde versie van Mlton werd samengesteld door Mlton. · Ondersteuning voor grote hoeveelheden geheugen (tot 4G op 32-bits systemen; meer op 64-bits systemen). · Arraylengtes tot 231 - 1, de grootste mogelijke twosple-complement 32-bits geheel getal. · Ondersteuning voor grote bestanden, met behulp van 64-bits bestandsposities. · Executables hebben uitstekende looptijden. · Genereert kleine executables: Mlton maakt gebruik van het compilatie van het hele programma om zeer agressieve dead-code-eliminatie uit te voeren, wat vaak leidt Naar kleinere uitvoerbare bestrijdingen dan met andere SML-compilers. · Native-gehele getallen, reals en woorden: in Mlton, gehele getallen en woorden zijn 32 bits en heeft rekenkundige geen overhead als gevolg van tagging of boksen. Ook worden Reals Unboxed opgeslagen, en vermijden overhead als gevolg van boksen. · Unboxed Native Arrays: In Mlton, een array (of vector) van gehele getallen, realts of woorden gebruikt de natuurlijke C-achtige vertegenwoordiging. Dit is snel en ondersteunt een eenvoudige uitwisseling van gegevens met C. Monomorfe arrays (en vectoren) gebruiken dezelfde C-achtige representaties als hun polymorfe tegenhangers. · Meerdere garbage-verzamelingstrategieën. · Snelle willekeurige precisie-rekenkundige (INTINF) op basis van de Gnump. Voor INTINF-intensieve programma's kan MLTON een volgorde van grootte of sneller zijn dan Poly / ML of SML / NJ. · Bronniveau-profilering van zowel tijd als toewijzing. · Mllex Lexer Generator · Mlyacc Parser Generator · ML-NLFFIGEN · A Simple en Snelle C FirefunctionInterface die ondersteunt bellen vanuit SML naar C en van C naar SML. · Het ML-basissysteem voor het programmeren in de zeer grote, afzonderlijke levering van bibliotheekbronnen en meer. · Een aantal uitbreidingsbibliotheken die nuttige functionaliteit bieden die niet kunnen worden geïmplementeerd met de basisbibliotheek. Zie hieronder voor een overzicht en mltonstructure voor meer informatie. · Mlton ondersteunt continuaties via Callcc en Throw. · Mlton ondersteunt een afrondingswaarden van het willekeurige type. · Mlton ondersteunt de functionaliteit van de C-Setitimer-functie. · Mlton heeft functies die vergelijkbaar zijn met de C Rand en Srand Functies, evenals ondersteuning voor toegang tot / dev / willekeurig en /dev/urandom.· Mlton heeft functies die vergelijkbaar zijn met de C GetRlimit- en SetRlimit-functies. · Mlton ondersteunt een subset van de functionaliteit van de C GetRusage-functie. · Mlton ondersteunt het signaal Handlers geschreven in SML. Signaalhandlers worden uitgevoerd in een afzonderlijke MLTON-draad en hebben toegang tot de draad die door het signaal werd onderbroken. Signaalhandlers kunnen worden gebruikt in combinatie met draden om preventieve multitasking te implementeren. · Mlton bevat een primitief die de grootte (in bytes) van elk object retourneert. Dit kan nuttig zijn in het begrijpen van het ruimtegedrag van een programma. · Mlton heeft een complete interface met de C-SYSLOG-functie. · Mlton heeft ondersteuning voor zijn eigen draden, waarop ofwel preventieve of niet-prachtige multitasking kan worden geïmplementeerd. Mlton heeft ook steun voor gelijktijdige ML (CML). · Mlton ondersteunt zwakke aanwijzingen, waardoor de vuilniscollector objecten terugvordert die anders zou worden gedwongen om te bewaren. Zwakke wijzers worden ook gebruikt om afronding te bieden. · Mlton heeft een faciliteit voor het opslaan van de volledige staat van een berekening naar een bestand en het later opnieuw opstarten. Deze faciliteit kan worden gebruikt voor enscenering en voor het controleren van berekeningen. Het kan zelfs worden gebruikt vanuit signaalhandlers, waardoor interrupt gedreven controle mogelijk is.

Mlton Gerelateerde software