Lista de comprensión en Haskell

Una lista de comprensión es una notación de alto nivel para especificar el cálculo de una lista.

El compilador transforma automáticamente las comprensiones de una lista en una expresión utilizando una familia de funciones básicas que operan en listas.

Las comprensiones de listas se inspiraron en la comprensión de conjuntos de notación matemática.

Ejemplos de comprensiones de conjuntos:

Un conjunto obtenido al multiplicar los elementos de otro conjunto por 3 es {3 × x | x ← {1,…, 10}}.

El conjunto de números pares es {2 × x | x ← N}.

El conjunto de números impares es

{2 × x + 1 | x ← N}.

El producto cruzado de dos conjuntos A y B es {(a, b) | a ← A, b ← B}.

Ejemplos de listas por comprensión

[3 * x | x <- [1..10]]

-> [3,6,9,12,15,18,21,24,27,30]

[2 * x | x <- [0..10]]

-> [0,2,4,6,8,10,12,14,16,18,20]

[2 * x + 1 | x <- [0..10]]

-> [1,3,5,7,9,11,13,15,17,19,21]

[[a, b] | a <- [10,11,12], b <- [20,21]]

-> [[10,20], [10,21], [11,20], [11,21], [12,20], [12,21]]