Haskell es un lenguaje de programación de propósito general, estáticamente tipado y puramente funcional. Se destaca por su capacidad de inferencia de tipos y su evaluación perezosa (lazy evaluation). Fue nombrado en honor al lógico Haskell Curry y ha sido pionero en la implementación de _type classes_ (clases de tipos) para la sobrecarga de operadores segura y la entrada/salida (IO) monádica.
La implementación principal de Haskell es el Glasgow Haskell Compiler (GHC), que continúa expandiendo las capacidades del lenguaje a través de extensiones lingüísticas, superando la lebih formal especificación de 2010.
Historia y Evolución
El interés por los lenguajes funcionales perezosos creció significativamente después del lanzamiento de Miranda en 1985. Para 1987, existían más de una docena de lenguajes funcionales puros y no estrictos. Debido a que Miranda era software propietario, surgió la necesidad de un estándar abierto.
Haskell 1.0 a 1.4
Haskell fue desarrollado por un comité con el objetivo de consolidar las soluciones existentes en un estándar común. Entre sus hitos iniciales se encuentran:
- Clases de tipos: Propuestas por Philip Wadler y Stephen Blott para manejar la igualdad y la aritmética de forma más eficiente.
- IO Monádico: Introducido en la versión 1.3, junto con la do notation, permitiendo un sistema de efectos que mantiene la transparencia referencial.
- Operación seq: Se movió de una clase de tipos a una función estándar para facilitar la refactorización.
Haskell 98 y Haskell 2010
En 1997, se culminó la serie con Haskell 98, diseñado para ser una versión estable, mínima y portable, ideal para la enseñanza y como base para extensiones futuras.
En 2010, se publicó Haskell 2010, que añadió características ampliamente utilizadas y no controvertidas, tales como:
- Nombres de módulos jerárquicos: Permitiendo nombres como
Data.Listen lugar de simplementeList. - Interfaz de Funciones Foráneas (FFI): Permitiendo enlaces con otros lenguajes de programación, específicamente C.
- Mejoras en la inferencia de tipos: Reglas relajadas para permitir que más programas pasen la comprobación de tipos.
- Pragma LANGUAGE: Especificación formal del pragma para gestionar extensiones del lenguaje.
Haskell es utilizado hoy en día tanto en el ámbito académico como en la industria, manteniendo su influencia en el diseño de lenguajes de programación modernos.
