Para añadir a la respuesta de Nicolocodev, algo que cabe señalar es la siguiente importante diferencia entre las listas y las tuplas en Haskell (y en los lenguajes con tipos estáticos, generalmente):
- En una lista, los elementos todos son de un solo tipo;
- En una tupla, el tipo de cada elemento es independiente del tipo de cualquier otro.
Esto tiene consecuencias importantes para tu pregunta. Miremos el tipo de la función que extrae un elemento de una lista:
(!!) :: [a] -> Int -> a
Podemos ver que la variable de tipo a
aparece dos veces en el tipo de la función:
- Como el tipo de los elementos de la lista en
[a]
;
- Como el tipo del resultado de la función.
Pero ahora tratemos de imaginarnos: ¿cuál sería el tipo de la función que obtiene el elemento de una tupla por su índice? Podemos empezar por esbozar el tipo, usando _tupla
y _elemento
como blancos para los tipos que trataremos de rellenar:
elementoDeTupla :: _tupla -> Int -> _elemento
El primer problema que nos enfrentamos es que no hay ningún tipo en Haskell básico que incluya entre sus valores las tuplas de todos los tamaños. Quiérase decir, las tuplas de dos, tres, cuatro o etc. elementos son diferentes tipos, así que no podemos escribir una función que acepte tuplas de cualquier tamaño como argumento. Para las tuplas de cada tamaño nos hace falta una función aparte:
elementoDeTupla2 :: (a, b) -> Int -> _elemento
elementoDeTupla3 :: (a, b, c) -> Int -> _elemento
elementoDeTupla4 :: (a, b, c, d) -> Int -> _elemento
Y ahora el segundo problema: ¿con qué tipo rellenamos los blancos que marqué con _elemento
? La dificultad es que dependiendo del índice que se nos de como argumento, el tipo del valor en ese elemento de la tupla es diferente. Así que, de nuevo, no podemos escribir tal función literalmente; nos hace falta hacer algún cambio al problema. Podríamos por ejemplo hacer lo siguiente, introduciendo tipos de suma ("sum types") que se encargan de representar el hecho de que el resultado es una suma de casos con tipos heterogéneos:
data Sum2 a b = Sum2_0 a | Sum2_1 b
data Sum3 a b c = Sum3_0 a | Sum3_1 b | Sum3_2 c
data Sum4 a b c d = Sum4_0 a | Sum4_1 b | Sum4_2 c | Sum4_3 d
elementoDeTupla2 :: (a, b) -> Int -> Sum2 a b
elementoDeTupla3 :: (a, b, c) -> Int -> Sum3 a b c
elementoDeTupla4 :: (a, b, c, d) -> Int -> Sum4 a b c d
O podríamos requerir que todos los elementos de las tuplas sean del mismo tipo:
elementoDeTupla2 :: (a, a) -> Int -> a
elementoDeTupla3 :: (a, a, a) -> Int -> a
elementoDeTupla4 :: (a, a, a, a) -> Int -> a
Ahora nuestras funciones no funcionan con todas las tuplas—sólo con aquellas cuyos elementos son de tipo homogéneo. Pero al hacer esto hemos eliminado la mitad de la diferencia entre las tuplas y las listas—la única diferencia que queda es que las listas de diferentes largos son sin embargo valores del mismo tipo. Recordemos que este fue el motivo por el cual introducimos elementoDeTupla2
, elementoDeTupla3
y elementoDeTupla4
como funciones aparte; así que ahora, para eliminar la duplicación, terminamos donde empezamos, usando listas:
(!!) :: [a] -> Int -> a
Y esto nos lleva a la respuesta a tu pregunta: si te hace falta obtener elementos por índice, esto indica que te hace falta usar listas, no tuplas. (Aunque en realidad usualmente sería mejor en ese caso usar Vector
, que permite acceso por índice en tiempo constante.)