Meta Lenguaje

Meta Lenguaje
ML
Información general
Paradigma multiparadigma: imperativo, funcional
Apareció en 1973
Diseñado por Robin Milner y otros en la Universidad de Edimburgo
Tipo de dato tipificado estático, fuerte, tipificación inferida
Dialectos Standard ML, OCaml, F#
Influido por ISWIM
Ha influido a Miranda, Haskell, Cyclone, Nemerle, C++, Clojure, Felix, Mythryl

ML es un lenguaje de programación de propósito general de la familia de los lenguajes de programación funcional desarrollado por Robin Milner y otros a finales de los años 1970 en la Universidad de Edimburgo. ML es un acrónimo de Meta Lenguaje dado que fue concebido como el lenguaje para desarrollar tácticas de demostración en el sistema LCF (El lenguaje para el cual ML era meta lenguaje es pplambda, una combinación del cálculo de predicados de primer orden y el lambda-cálculo polimórfico sencillamente tipificado).

Frecuentemente se clasifica a ML como un lenguaje funcional impuro dado que permite programar imperativamente con efecto colateral, a diferencia de otros lenguajes de programación funcional, tales como Haskell.

Entre las características de ML se incluyen evaluación por valor, álgebra de funciones, manejo automatizado de memoria por medio de recolección de basura, polimorfismo parametrizado, análisis de estático de tipos, inferencia de tipos, tipos de datos algebraicos, llamada por patrones y manejo de excepciones. Esta combinación particular de conceptos hace que sea posible producir una de los mejores compiladores actualmente disponibles[1].

En la actualidad varios lenguajes de la familia ML están disponibles, principalmente Standard ML (SML) y Ocaml (Ocaml contiene la sintaxis de ML como un subconjunto). Varias ideas aparecidas en ML han influido el diseño de otros lenguajes, tales como Cyclone y Nemerle.

Los lenguajes de la familia ML se aplica principalmente en diseño y manipulación de lenguajes de programación (compiladores, analizadores, demostradores de teoremas), así como en bioinformática, sistemas financieros, protocolos de sincronización, etc.

Enlaces externos


Wikimedia foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Mira otros diccionarios:

  • Lenguaje de marcado — Un lenguaje de marcado o lenguaje de marcas es una forma de codificar un documento que, junto con el texto, incorpora etiquetas o marcas que contienen información adicional acerca de la estructura del texto o su presentación. El lenguaje de… …   Wikipedia Español

  • Lenguaje de programación Gödel — Saltar a navegación, búsqueda Gödel es un lenguaje de programación declarativo, de propósito general que adhiere al paradigma de la programación lógica. Es un lenguaje fuertemente tipado, con un sistema de tipos basado en many sorted logic con… …   Wikipedia Español

  • Lenguaje de programación Euler — Saltar a navegación, búsqueda Euler Paradigma: Procedural Apareció en: 1965 Diseñado por: Niklaus Wirth y Helmut Weber Tipo de dato: Dinámico Influido por …   Wikipedia Español

  • Alice (lenguaje de programación) — Alice Desarrollador(es) www.ps.uni sb.de/alice/ Información general Paradigma Multiparadigma, imperativo …   Wikipedia Español

  • Dylan (lenguaje de programación) — Saltar a navegación, búsqueda Contenido 1 Introducción 2 Historia 3 Sintaxis 4 Enlaces externos …   Wikipedia Español

  • Website META Language — Desarrollador Ralf S. Engelschall thewml.org Información general Última versión estable 2.0.10 9 de agosto de …   Wikipedia Español

  • Gödel (lenguaje de programación) — Gödel es un lenguaje de programación declarativo, de propósito general que adhiere al paradigma de la programación lógica. Es un lenguaje fuertemente tipado, con un sistema de tipos basado en many sorted logic con polimorfismo parametrizado. Se… …   Wikipedia Español

  • Ceylon (lenguaje de programación) — Ceylon Información general Paradigma Orientado a objetos Apareció en 2011 Diseñado por Red Hat Tip …   Wikipedia Español

  • Euler (lenguaje de programación) — Euler Información general Paradigma Procedural Apareció en 1965 Diseñado por Niklaus Wirth y Helmut Weber …   Wikipedia Español

  • Consulta de Conocimientos y Lenguaje de Manipulación — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

Compartir el artículo y extractos

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