Las expresiones lambda son una característica fundamental en Haskell y en muchos otros lenguajes de programación funcional. Permiten definir funciones anónimas de manera concisa y son especialmente útiles cuando se combinan con funciones de orden superior.

Una expresión lambda es una función anónima que no tiene un nombre explícito. Se utiliza principalmente para definir funciones de manera rápida y en línea, sin necesidad de declararlas por separado.

La sintaxis básica de una expresión lambda en Haskell es la siguiente:

Donde:

• \ es el símbolo lambda.
• x es el parámetro de la función.
• -> separa los parámetros del cuerpo de la función.
• expression es el cuerpo de la función.

Aquí hay un ejemplo simple de una expresión lambda que suma dos números:

Esta expresión lambda toma dos parámetros x y y y devuelve su suma.

Las expresiones lambda son especialmente útiles cuando se combinan con funciones de orden superior como map, filter y fold.

La función map aplica una función a cada elemento de una lista. Aquí hay un ejemplo usando una expresión lambda:

En este caso, la expresión lambda \x -> x * 2 se aplica a cada elemento de la lista [1, 2, 3, 4], resultando en [2, 4, 6, 8].

La función filter selecciona elementos de una lista que cumplen con una condición. Aquí hay un ejemplo usando una expresión lambda:

En este caso, la expresión lambda \x -> x > 2 se utiliza para filtrar los elementos de la lista [1, 2, 3, 4], resultando en [3, 4].

La función foldr reduce una lista a un solo valor usando una función binaria. Aquí hay un ejemplo usando una expresión lambda:

En este caso, la expresión lambda \x acc -> x + acc se utiliza para sumar todos los elementos de la lista [1, 2, 3, 4], resultando en 10.

Escribe una expresión lambda que multiplique cada elemento de una lista por 3 y úsala con map.

Escribe una expresión lambda que filtre los números pares de una lista y úsala con filter.

Escribe una expresión lambda que sume todos los elementos de una lista y úsala con foldr.

1. Olvidar los paréntesis en expresiones complejas: Asegúrate de usar paréntesis para agrupar operaciones cuando sea necesario.

   map (\x -> (x + 1) * 2) [1, 2, 3]
   

2. Confundir foldr con foldl: Recuerda que foldr procesa la lista de derecha a izquierda, mientras que foldl lo hace de izquierda a derecha. Esto puede afectar el resultado en operaciones no conmutativas.

3. No especificar todos los parámetros: Asegúrate de que tu expresión lambda tenga todos los parámetros necesarios.

   -- Incorrecto
   \x -> x + y
   -- Correcto
   \x y -> x + y
   

Las expresiones lambda son una herramienta poderosa en Haskell que te permiten definir funciones de manera concisa y flexible. Son especialmente útiles cuando se combinan con funciones de orden superior como map, filter y fold. Practica escribiendo tus propias expresiones lambda para familiarizarte con su uso y sintaxis.