Resumen de lecturas compartidas durante agosto de 2020

PorJosé A. Alonso

Esta entrada es una recopilación de lecturas compartidas, durante agosto de 2020, en Twitter fundamentalmente sobre programación funcional y demostración asistida por ordenador.

Las lecturas están ordenadas según su fecha de publicación en Twitter.

Al final de cada artículo se encuentran etiquetas relativas a los sistemas que usa o a su contenido.

Una recopilación de todas las lecturas compartidas se encuentra en GitHub.
Read More “Resumen de lecturas compartidas durante agosto de 2020”

PFH: Funciones de orden superior en Haskell (Parte 2 de 3): Plegados

PorJosé A. Alonso

He añadido a la lista Programación funcional con Haskell el vídeo Funciones de orden superior en Haskell (Parte 2 de:3): Plegados en el que se continúa el estudio de las funciones de orden superior con las funciones de plegados y la composición de funciones.

En primer lugar, se ha estudiado cómo puede abstraerse los esquemas definición de funciones de recursión sobre listas mediante la función de plegado (foldr) y cómo con dicha función puede simplificarse la definición de funciones.

A continuación se ha visto cómo definir funciones con acumuladores y cómo simplificarlas con el patrón de plegado por la izquierda (foldl).

Finalmente, se ha visto cómo puede simplificarse la definición de funciones usando el operador de composición.

El vídeo es

Los apuntes correspondientes son

Una versión interactiva de los apuntes en IHaskell se encuentra aquí.