1xBit Casino 320x50 Image Ad

Haskell

Haskell es un lenguaje de programación puramente funcional estandarizado, de propósito general, con una semántica no estricta y una escritura estática fuerte.

Haskell presenta un sistema de tipos con inferencia de tipos y evaluación perezosa.

1xBit Casino 320x50 Image Ad

Las clases de tipos aparecieron por primera vez en el lenguaje de programación Haskell.

Haskell se basa en la semántica, pero no en la sintaxis, del lenguaje Miranda, que sirvió para enfocar los esfuerzos del grupo de trabajo inicial de Haskell.

En febrero de 1999, el estándar de idioma Haskell 98 se publicó originalmente como The Haskell 98 Report.

A principios de 2006, comenzó el proceso de definición de un sucesor del estándar Haskell 98, denominado informalmente Haskell Prime.

Se requiere que los compiladores de Haskell 2010 sean compatibles con la extensión Haskell2010, y se les recomienda que apoyen a otros que correspondan a las extensiones agregadas en Haskell 2010.

Haskell presenta evaluación perezosa, coincidencia de patrones, comprensión de listas, clases de tipos y polimorfismo de tipos.

Haskell tiene un sistema de tipo fuerte y estático basado en la inferencia de tipo Hindley-Milner.

El York Haskell Compiler fue una bifurcación de nhc98, con el objetivo de ser más simple, más portátil y eficiente, y de integrar el soporte para Hat, el trazador de Haskell.

Bastiaan Heeren, Daan Leijen y Arjan van IJzendoorn en 2003 también observaron algunos obstáculos para los estudiantes de Haskell: «La sintaxis sutil y el sistema de tipo sofisticado de Haskell son una espada de doble filo, muy apreciada por programadores experimentados pero también una fuente de frustración entre los principiantes , ya que la generalidad de Haskell a menudo conduce a mensajes de error crípticos «. Para abordar esto, los investigadores de la Universidad de Utrecht desarrollaron un intérprete avanzado llamado Helium, que mejoró la facilidad de uso de los mensajes de error al limitar la generalidad de algunas características de Haskell y, en particular, eliminar el soporte para clases de tipo.

Ben Lippmeier diseñó Disciple como un dialecto de Haskell estricto por defecto con un sistema de tipo y efecto, para abordar las dificultades de Haskell para razonar sobre la evaluación perezosa y usar estructuras de datos tradicionales como matrices mutables.

Haskell genérico, una versión de Haskell con soporte de sistema de tipos para la programación genérica.

Como Haskell separa los dominios y el comportamiento, puede encontrar correspondencias con el mundo algebraico que subyace en las clases de tipos estándar de la biblioteca básica de Haskell.

«Clases de tipo, propuestas por primera vez durante el diseño del lenguaje de programación Haskell, …» -John Garrett Morris, «Clases de tipo y cadenas de instancia: un enfoque relacional».

Advertisements

Related posts