Standard ML

Standard ML

El lenguaje de programación Standard ML o SML es un lenguaje descendiente del lenguaje ML que nació como el Meta Lenguaje del sistema LCF. A diferencia de muchos otros lenguajes de programación, SML tiene una especificación formal, como semántica operacional publicada en el libro The Definition of Standard ML.

Implantaciones

  • Standard ML of New Jersey (abreviado SML/NJ) es un compilador completo, junto con sus librerías, herramientas, y documentación. ([1])
  • Moscow ML es una implementación liviana, basada en el ambiente de ejecución de CAML Light. Implementa el lenguaje SML completo, incluyendo sus módulos, también incluye la mayor parte de la librería de ase de SML. ([2])
  • MLton es un compilador para programas completos (no maneja la noción de módulos). ([3])
  • Poly/ML es una implantación completa de Standard ML. ([4])
  • SML2c es un compilador para firmas estructuras y funciones que genera código en lenguaje C. Está basado en SML/NJ versión 0.67 y comparte con esa versión la mayor parte del ambiente de ejecución, pero no planta ni herramientas de puesta a punto ni perfiles de ejecución. La compatibilidad a nivel de los módulos con SML/NJ es completa.

Todas las distribuciones mencionadas son de tipo software libre. No hay versiones comerciales de SML disponibles.

Véase también

Referencias

  • R. Milner, M. Tofte, R. Harper and D. MacQueen. The Definition of Standard ML (Revised).ISBN 0262631814.

Wikimedia foundation. 2010.

Игры ⚽ Нужен реферат?

Mira otros diccionarios:

  • Standard... — Standard …   Deutsch Wörterbuch

  • Standard- — Standard …   Deutsch Wörterbuch

  • Standard A.C. — Standard Athletic Club Pour les articles homonymes, voir Standard. Standard A.C …   Wikipédia en Français

  • Standard AC — Standard Athletic Club Pour les articles homonymes, voir Standard. Standard A.C …   Wikipédia en Français

  • Standard J — Role Trainer National origin USA Manufacturer …   Wikipedia

  • standard — STÁNDARD, standarde, s.n. 1. Normă sau ansamblu de norme care reglementează calitatea, caracteristicile (caracteristic), forma etc. unui produs; document în care sunt consemnate (consemna) aceste norme. ♦ (concr.) Produs realizat pe baza unui… …   Dicționar Român

  • Standard — Stand ard, a. 1. Being, affording, or according with, a standard for comparison and judgment; as, standard time; standard weights and measures; a standard authority as to nautical terms; standard gold or silver. [1913 Webster] 2. Hence: Having a… …   The Collaborative International Dictionary of English

  • standard — [stan′dərd] n. [ME < OFr estendard < Frank * standord, place of formation < Gmc * standan, to STAND + * ort, a place, orig., a point, akin to OE ord (see ODD): hence, orig., a standing place] 1. any figure or object, esp. a flag or… …   English World dictionary

  • Standard — Stand ard ( [ e]rd), n. [OF. estendart, F. [ e]tendard, probably fr. L. extendere to spread out, extend, but influenced by E. stand. See {Extend}.] 1. A flag; colors; a banner; especially, a national or other ensign. [1913 Webster] His armies, in …   The Collaborative International Dictionary of English

  • Standard e-1 — Constructeur …   Wikipédia en Français

  • standard — stan·dard n 1: something established by authority, custom, or general consent as a model, example, or point of reference the standard of the reasonable person 2: something established by authority as a rule for the measure of quantity, weight,… …   Law dictionary

Compartir el artículo y extractos

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