En los años 1980 se constituyó un comité cuyo objetivo era crear un lenguaje funcional que reuniera las características de los múltiples lenguajes funcionales de la época, el más notable Miranda, y resolviera la confusión creada por la proliferación de los mismos. Haskell, es un lenguaje de programación estandarizado multi-propósito, FUNCIONALMENTE PURO.
Las variables son espacios reservados en la memoria que, como su nombre indica, pueden cambiar de contenido a lo largo de la ejecución de un programa. Una variable corresponde a un área reservada en la memoria principal del ordenador. El tipo de dato informático es un atributo de una parte de los datos que indica al ordenador (y/o al programador) algo sobre la clase de datos sobre los que se va a procesar.
En programación, una expresión es una combinación de constantes, variables o funciones, que es interpretada de acuerdo a las normas particulares de precedencia y asociación para un lenguaje de programación en particular. Como en matemáticas, la expresión es su valor evaluado, es decir, la expresión es una representación de ese valor.
En los lenguajes de programación, las estructuras de control permiten modificar el flujo de ejecución de las instrucciones de un programa. Se puede ejecutar un grupo u otro de sentencias de acuerdo a una condición (if-then-else). Ejecutar un grupo u otro de sentencias de acuerdo al valor de una variable (switch-case).
Se le llama subrutina a un segmento de código separado del bloque principal, el cual puede ser invocado en cualquier momento desde ésta u otra subrutina. Generalmente son especificadas por un nombre único, un tipo de dato de retorno, una lista de parámetros y el código de procesamiento.
Es un algoritmo para la determinación del camino más corto, dado un vértice origen, hacia el resto de los vértices en un grafo que tiene pesos en cada arista. En este apartado, se realizó la implementación en Haskell.