Operando con listas en Haskell

Podemos indexar una lista numerando los elementos, comenzando con 0. Por tanto, una forma canónica de una lista con n elementos es [x0, x1, .. xn − 1].

El operador !! toma una lista y un índice y devuelve el elemento correspondiente.

[5,3,8,7] !! 2 -> 8

[0 .. 100] !! 81 -> 81

['a' .. 'z'] !! 13 -> 'n'

Si el índice es negativo o demasiado grande, se devuelve undefined.

Para una programación robusta, debemos asegurarnos de que todas las expresiones estén bien definidas o de que todas las excepciones sean capturadas y manejadas.

Hay funciones de biblioteca estándar para obtener primer elemento (head) o todo el resto de la lista (tail).

El resultado de aplicar head o tail a la lista vacía es indefinido

head :: [a] -> a

head [4,5,6] -> 4

tail :: [a] -> [a]

tail [4,5,6] -> [5,6]

Como recomendación: debemos evitar usar (head) y (tail), para evitar valores indefinidos. Se puede utilizar pattern matching que es más robusto.

Las listas en haskell son perezosas, hemos mencionado antes que Haskell es "perezoso", lo que significa que solo evalúa expresiones cuando son requeridas para la evaluación de otra expresión. Este comportamiento se extiende a listas, por lo que podemos definir listas infinitas usando secuencias, por ejemplo [1 .. ] es la lista de todos los enteros positivos. Otro ejemplo es la función primes (del paquete Data.Numbers.Primes) que devuelve una lista infinita de números primos. Una consecuencia de la pereza en las listas es que puede definir listas que contengan expresiones muy complejas y que consuman mucho tiempo, y siempre que nunca acceda a ellas, no se evaluarán. Lo mismo es cierto para una expresión incorrecta, por ejemplo, definir xs = [1,2, xs !! 5,4] no generará un error siempre que no acceda al tercer elemento.

Las listas también son inmutables. Como resultado, si definimos xs2 = xs ++ xs e intenta acceder al tercer elemento xs2 !! 2 seguirá dando como resultado un error porque xs no se ha modificado.

Curiosamente, si cambiamos la definición de xs a xs = [1,2, xs2 !! 5,4], entonces ambas xs !! 2 y xs2 !! 2 devolverá 2:

xs = [1,2, xs2 !! 5,4]

xs2 = xs ++ xs

xs2 !! 2 -> 2

xs !! 2 -> 2

Esta es una consecuencia de la evaluación de expresiones de Haskell a través de la reducción: el orden de las expresiones no importa.