Mercurio (lenguaje de programación)

Mercury es un lenguaje de programación lógica funcional diseñado para aplicaciones prácticas. La primera versión fue desarrollada en el departamento de Ciencias de la Computación de la Universidad de Melbourne por Fergus Henderson, Thomas Conway y Zoltan Somogyi, bajo la supervisión de este último, y se lanzó el 8 de abril de 1995.

Mercury es un lenguaje de programación lógica puramente declarativo . Está relacionado con Prolog y Haskell . ^{[ 2 ]} Presenta un sistema de tipos fuerte, estático y polimórfico , y un sistema de modo y determinismo robusto.

La implementación oficial, el compilador Melbourne Mercury, está disponible para la mayoría de las plataformas Unix y similares a Unix , incluyendo Linux , macOS y Windows .

Mercury se basa en el lenguaje de programación lógica Prolog . Posee la misma sintaxis y los mismos conceptos básicos, como el algoritmo de resolución selectiva de cláusulas definidas lineales (SLD). Puede considerarse un subconjunto puro de Prolog con tipos y modos robustos. Por ello, suele compararse con su predecesor en cuanto a funcionalidades y eficiencia de ejecución.

El lenguaje está diseñado siguiendo principios de ingeniería de software . A diferencia de las implementaciones originales de Prolog, cuenta con una fase de compilación independiente , en lugar de ser interpretado directamente. Esto permite detectar una gama mucho más amplia de errores antes de ejecutar un programa. Presenta un sistema de tipos y modos estático estricto ^{[ 2 ]} y un sistema de módulos.

Al utilizar información obtenida en tiempo de compilación (como el tipo y el modo), los programas escritos en Mercury suelen ser significativamente más rápidos que los programas equivalentes escritos en Prolog. ^{[ 3 ] [ 4 ]} Sus autores afirman que Mercury es el lenguaje lógico más rápido del mundo, por un amplio margen. ^{[ 2 ]}

Mercury es un lenguaje puramente declarativo , a diferencia de Prolog , ya que carece de sentencias extralógicas de Prolog como !(cut) y entrada/salida imperativa (E/S). Esto permite un análisis estático avanzado del programa y una optimización del programa , incluida la recolección de basura en tiempo de compilación , ^{[ 5 ]} pero puede hacer que ciertas construcciones de programación (como un switch sobre varias opciones, con un valor predeterminado ) sean más difíciles de expresar. Si bien Mercury permite funcionalidad impura, sirve principalmente como una forma de llamar a código de otro lenguaje. Todo el código impuro debe estar marcado explícitamente. Las operaciones que normalmente serían impuras (como entrada/salida ) se expresan usando construcciones puras en Mercury usando tipos lineales , enhebrando un valor mundial ficticio a través de todo el código relevante.

Entre los programas notables escritos en Mercury se incluyen el compilador Mercury y el formateador XML Prince . La empresa de software ODASE también ha estado utilizando Mercury para desarrollar su plataforma de desarrollo de software centrada en ontologías, ODASE. ^{[ 6 ]}

Mercury cuenta con varios back-ends que permiten compilar el código Mercury en varios lenguajes, entre ellos:

Hola Mundo :

:- módulo hola . :- interfaz . :- import_module io . :- pred main ( io : :di , io : :uo ) es det .:- implementación . principal (! IO ) :- io . write_string ( "Hola, Mundo!\n" , ! IO ).

Calculando el décimo número de Fibonacci (de la forma más obvia): ^{[ 7 ]}

:- módulo de fibra . :- interfaz . :- import_module io . :- pred main ( io : :di , io : :uo ) es det .:- implementación . :- módulo_de_importación int .:- func fib ( int ) = int . fib ( N ) = ( if N =< 2 then 1 else fib ( N - 1 ) + fib ( N - 2 )).main (! IO ) :- io . write_string ( "fib(10) = " , ! IO ), io . write_int ( fib ( 10 ), ! IO ), io . nl (! IO ). % Podría en su lugar usar io.format("fib(10) = %d\n", [i(fib(10))], !IO).

!IOes una "variable de estado", que es azúcar sintáctico para un par de variables a las que se les asignan nombres concretos en la compilación; por ejemplo, lo anterior se descompone en algo como:

main ( IO0 , IO ) :- io . write_string ( "fib(10) = " , IO0 , IO1 ), io . write_int ( fib ( 10 ), IO1 , IO2 ), io . nl ( IO2 , IO ).

El esquema de nomenclatura de las versiones estables fue de 0.1 a 0.13 para las primeras trece versiones estables. En febrero de 2010, el proyecto Mercury decidió nombrar cada versión estable utilizando el año y el mes de su lanzamiento. Por ejemplo, 10.04 corresponde a una versión lanzada en abril de 2010.

También suele haber una instantánea periódica de la versión del sistema de desarrollo del día (ROTD).

• Los desarrolladores brindan soporte para Vim.
• Librería Flycheck para Emacs
• Existe un complemento disponible para el IDE Eclipse.
• Existe un complemento disponible para el IDE NetBeans.

• Curry , otro lenguaje de lógica funcional
• Alice , un idioma dialectal de Standard ML
• Logtalk , lenguaje, una extensión orientada a objetos de Prolog que se compila a Prolog.
• Oz/Mozart , un lenguaje multiparadigma
• Visual Prolog , lenguaje, una extensión de Prolog fuertemente tipada y orientada a objetos, con una nueva sintaxis.

• Sitio web oficial