¿Que es Mercury?
Es un lenguaje logico-funcional, es decir, integra "soluciones puras" y computación con información parcial.
Está basado en la programación declarativa pura, un lenguaje de propósito general que fue diseñado para resolver aplicaciones del “mundo real” de forma robusta.
Fue desarrollado por Fergus Henderson, Thomas Conway y Zoltan Somogyi en la universidad de Melbourne el 8 de abril de 1995; la sintaxis es parecida a la de Prolog y soporta polimorfismo.
Usa un sistema estático de chaqueo de tipos similar al de Haskell , pero también soporta tipificación dinámica ya que dispone del tipo universal (UNIV), está definido en la librería estándar en el modulo std_util, con la ayuda de estos predicados type_to_univ/2 y univ_to_type/2 se puede convertir un tipo en universal y viceversa , este tipo universal es usado en situaciones en las que se necesita colecciones heterogéneas
Ventajas
Es un lenguaje puro , comparado con Prolog ,es más declarativo puesto que carece de declaraciones “extra-logicas" como “poda” y E/S imperativa .Permite una optimización mejor del programa .
No hay comentarios:
Publicar un comentario