He añadido a la colección de Ejercicios de programación funcional con Haskell la relación Cadenas de bloques en la que se define el tipo de datos de las cadenas de bloques y se estudia las definiciones de funciones sobre el mismo.
El contenido de la relación es el siguiente
Read More “PFH: Cadenas de bloques en Haskell”
He publicado la primera versión de libro Piensa en Haskell (Ejercicios de programación funcional con Haskell).
Este libros es una introducción a la programación funcional con Haskell a través de una colección de ejercicios resueltos de los cursos de Informática (del
Grado en Matemáticas) y Programación declarativa (de la Ingeniería en Informática).
Los temas correspondientes a los ejercicios del libro se encuentra en Temas de programación funcional.
El libro consta de tres partes. En la primera parte se presentan los elementos básicos de la programación funcional. En la segunda, se estudian la implementación en Haskell de tipos abstractos de datos y sus aplicaciones así como cuestiones algorítmicas. En la tercera, se presentan casos de estudios. También se han incluido dos apéndices: uno con un resumen de las funciones de Haskell utilizadas y otro con el método de Pólya para la resolución de problemas.
Read More “PeH: Piensa en Haskell (Ejercicios de programación funcional con Haskell)”
He publicado en la página de ejercicios del curso de Informática (de 1º del Grado en Matemáticas) los enlaces a tres libros de problemas resueltos de programación en Haskell que he escrito estos años.
Los libros son los siguientes:
El Symposium on Trends in Functional Programming se
celebrará del 17 al 19 de Mayo en la Universidad de Oklahoma.
Uno de lo temas del congreso es la verificación de programas funcionales.
La fecha de envío de artículos finaliza el 2 de Abril.