MLton

MLton

MLton is an open source, whole-program optimizing compiler for the Standard ML programming language.[1]

MLton aims to produce fast executables, and to encourage rapid prototyping and modular programming by eliminating performance penalties often associated with the use of high-level language features.[1]

MLton development began in 1997,[1] and continues[2] to this day with a growing[citation needed] worldwide community of developers and users, who have helped to port MLton to a number of platforms.

References

  1. ^ a b c Stephen Weeks (September 16, 2006). "Whole-Program Compilation in MLton" (PDF). ML Workshop 2006, invited lecture. http://mlton.org/pages/References/attachments/060916-mlton.pdf. Retrieved 2007-12-02. 
  2. ^ Repository - markup - svn: mlton/trunk/doc/changelog

External links


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Standard ML — Infobox programming language name = Standard ML logo = paradigm = multi paradigm: functional, imperative year = designer = typing = strong, static, inferred dialects = Alice, Dependent ML implementations = MLton, MLWorks, Moscow ML, Poly/ML,… …   Wikipedia

  • List of compilers — This page is intended to list all current compilers, compiler generators, interpreters, translators, etc.C/C++ compilers Pascal CompilersOpen source compilers Production quality, open source compilers. * Amsterdam Compiler Kit (ACK) [C, Pascal,… …   Wikipedia

  • SML97 — Standard ML (SML) ist eine von ML abstammende funktionale Programmiersprache mit einigen imperativen Merkmalen (zum Beispiel im Bereich File IO). ML Schöpfer Robin Milner schlug SML 1983 vor, um die verschiedenen Dialekte von ML zu… …   Deutsch Wikipedia

  • SML (Programmiersprache) — Standard ML (SML) ist eine von ML abstammende funktionale Programmiersprache mit einigen imperativen Merkmalen (zum Beispiel im Bereich File IO). ML Schöpfer Robin Milner schlug SML 1983 vor, um die verschiedenen Dialekte von ML zu… …   Deutsch Wikipedia

  • Standard-ML — (SML) ist eine von ML abstammende funktionale Programmiersprache mit einigen imperativen Merkmalen (zum Beispiel im Bereich File IO). ML Schöpfer Robin Milner schlug SML 1983 vor, um die verschiedenen Dialekte von ML zu standardisieren. Die… …   Deutsch Wikipedia

  • StandardML — Standard ML (SML) ist eine von ML abstammende funktionale Programmiersprache mit einigen imperativen Merkmalen (zum Beispiel im Bereich File IO). ML Schöpfer Robin Milner schlug SML 1983 vor, um die verschiedenen Dialekte von ML zu… …   Deutsch Wikipedia

  • Standard ML — Paradigmen: funktional Erscheinungsjahr: 1990 Entwickler: Robin Milner Aktuelle Version: 97  (1997) …   Deutsch Wikipedia

  • Standard Meta Language — Standard ML (SML) ist eine von ML abstammende funktionale Programmiersprache mit einigen imperativen Merkmalen (zum Beispiel im Bereich File IO). ML Schöpfer Robin Milner schlug SML 1983 vor, um die verschiedenen Dialekte von ML zu… …   Deutsch Wikipedia

  • Standard ML — Paradigme impératif, fonctionnel Typage fort, statique Dialectes Alice, Dependent ML …   Wikipédia en Français

  • Gave — Give Give (g[i^]v), v. t. [imp. {Gave} (g[=a]v); p. p. {Given} (g[i^]v n); p. pr. & vb. n. {Giving}.] [OE. given, yiven, yeven, AS. gifan, giefan; akin to D. geven, OS. ge[eth]an, OHG. geban, G. geben, Icel. gefa, Sw. gifva, Dan. give, Goth.… …   The Collaborative International Dictionary of English

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”