En Haskell vamos a diferenciar dos tipos de estructuras complejas: tuplas y listas.

Las tuplas son conjuntos o secuencias heterogéneas de elementos, con una longitud (nº de elementos), predefinida que no puede variar.

Las listas son secuencias de elementos del mismo tipo, cuya longitud puede variar e incluso, no especificarse: listas infinitas.

[Índice]

Para construir una tupla utilizamos la sintaxis siguiente:

La tupla posee n elementos. Por tanto, si escribimos una función que acepte como parámetro esta tupla, necesariamente la tupla actual que sirva de argumento a una llamada a la función debe contar con n elementos exactamente. La signatura de la tupla es:

Por ejemplo, si definimos la suma entre pares de elementos el código de la función quedaría del modo que sigue:

suma (x, y)=x+y

Esta función es completamente distinta de aquella que suma dos números:

suma x y=x+y

La primera acepta una tupla de dos elementos enteros mientras que la segunda acepta dos números enteros independientes no agrupados en estructura compleja alguna.

Otra estructura compleja muy utilizada es la LISTA, que vamos a describir detalladamente en la sección siguiente.

[Índice]

Como ya hemos comentado, una lista se puede definir como una secuencia de elementos del mismo tipo. Por ejemplo [1,2,-3,0] constituye una lista de elementos enteros. Una función que acepta como parámetro una lista, puede trabajar con un argumento actual de cualquier longitud, siempre que los elementos sean del tipo especificado en la signatura, en el caso de que aparezca, y la lista sea homogénea.

Las listas se pueden representar de formas diversas, como ocurría en Prolog:

• Signatura: [1,2,3]::[Int] [[1,2,3],[2,3]]::[[Int]] [[1,2],[‘a’,’b’]] Ü incorrecto.
• []=Lista vacía.
• cabeza:cola (como en Prolog):
• Para obtener la cabeza tenemos una función predefinida: head.
• Para la cola tenemos tail.

Para realizar operaciones con listas en Haskell debemos acoger el método que usábamos en Prolog: recursividad. Recordemos que recursividad y backtraking no son lo mismo, así pues, en Haskell no aparece la idea de backtracking en la ejecución de los programas.

La sintaxis para especificar los datos de una lista es variada:

• 1:2:3:[] Þ Uso del operador : (asociativo por la derecha).
• [1,2,3] Þ Forma más cómoda y adecuada.
• ‘a’:’b’:[] = [‘a’,’b’] = "ab" Þ En el caso de las cadenas de caracteres.

Haskell proporciona un conjunto de funciones predefinidas para el manejo de listas:

• length xs Ü Número de elementos de xs.
• xs ++ ys Ü Concatena las listas argumentos.
• concat xss Ü concatena todas las listas del argumento.
• map f xs Ü aplica la función f sobre los elementos de xs.

También proporciona una sintaxis de contrucción de listas muy potente: Listas de Números y List Comprehension.

[Índice]

Como en otros lenguajes funcionales podemos utilizar una notación especial para las listas de números donde la diferencia entre elementos consecutivos es constante

• [m..n] Ü [m, m+1, m+2, ... ,m+n]
• [1..3] Ü [1,2,3]
• [1..] Ü [1,2,3,4,5,...] Ü Lista infinita

Para las listas donde la diferencia no es 1, la notación es [m,k..n], siendo m el primer elemento de la lista, k el segundo, los siguientes se diferencian entre ellos lo mismo que m y k y ningún elemento de la lista puede ser mayor que n. Por ejemplo [2,4..10] es lo mismo que [2,4,6,8,10].

[Índice]

La notación List Comprehension es similar a la utilizada en matemáticas para construir conjuntos, y puede ser muy útil a la hora de construir ciertos tipos de listas. La sintaxis es como sigue:

Con esta expresión se genera una lista donde los elementos son de la forma de expresion y cumplen las condiciones expresadas en los calificadores.

La expresión puede ser cualquier expresión válida y los calificadores pueden ser de 3 tipos: generadores, filtros y definiciones locales.

• Generadores: Generan un número de elementos que se pueden usar en la expresión de la lista. Su sintaxis es: patron<-lista. Los generadores que aparecen más a la izquierda varían cuando se han generado todas las posibilidades de los de la derecha. Los generadores pueden depender de las variables introducidas en generadores anteriores
• Filtros: Son expresiones booleanas que eliminan elementos que se otra forma se incluirían en la lista. En la lista resultante, sólo están los elementos que satisfacen la expresión del filtro.
• Definiciones locales: Se pueden definir variables locales dentro de la lista.

Veamos algunos ejemplos de construcción de listas:

[Índice]

Para entender adecuadamente lo expuesto en los puntos anteriores, veamos algunos ejemplos interesantes de manejo de listas.

 [Índice]