RAZONANDO CON HASKELL. Un curso sobre programación funcional

El objetivo principal del libro es el de servir como libro de texto de las asignaturas de Programación Declarativa correspondientes a los estudios de Informática o Ciencias de la Computación y otras ciencias en general. Para este texto hemos seleccionado el lenguaje Haskell 98, un estándar hoy en día en la comunidad educativa para la enseñanza de la Programación Funcional, así como en la investigación de otros conceptos y formalismos.

Índice de figuras. Prólogo. Convenios. I. Programación funcional básica con Haskell 98. 1. Programación funcional. 2. Introducción a Haskell. 3. Funciones de orden superior y polimorfismo. 4. Definición de tipos. 5. El sistema de clases de Haskell. 6. Programación con listas. 7. Entrada y salida. II. Programación avanzada. 8. Evaluación perezosa. Redes de procesos. 9. Programación con árboles y grafos. 10. Programación modular y tipos abstractos de datos. 11. Programación con mónadas. III. Aplicaciones. 12. Algoritmos numéricos programados funcionalmente. 13. Puzzles y solitarios. 14. Analizadores. 15. Simulación. IV. Aspectos teóricos. 16. Técnicas de programación y transformaciones de programas. 17. Introducción al cálculo. Bibliografía. Índice alfabético.