La programación funcional es un paradigma que centra el desarrollo de software en la definición y composición de funciones, promoviendo la claridad formal, la inmutabilidad y el razonamiento matemático sobre los programas.
En el ámbito académico y profesional, lenguajes como Haskell ocupan un lugar destacado en la formación en informática y matemáticas, así como en el estudio de técnicas formales y algorítmicas.
Introducción al libro
“Piensa en Haskell (Ejercicios de programación funcional con Haskell)” es una obra orientada a la enseñanza de la programación funcional mediante la resolución sistemática de ejercicios. El libro organiza el aprendizaje alrededor de problemas concretos que permiten adquirir dominio del lenguaje Haskell y de los fundamentos teóricos asociados.
Está dirigido a estudiantes de informática, matemáticas e ingeniería, así como a desarrolladores interesados en profundizar en el paradigma funcional. No se limita a la sintaxis del lenguaje, sino que aborda la modelización de problemas, la definición de tipos abstractos de datos y la demostración formal de propiedades. El nivel es adecuado para quienes ya poseen conocimientos básicos de programación y desean avanzar hacia conceptos más formales y rigurosos.
Contenido del libro
La obra se organiza en varias partes claramente diferenciadas. En la primera se presentan los elementos esenciales de la programación funcional: definición de funciones, comprensión de listas, recursión, funciones de orden superior y listas infinitas. También se trabajan tipos definidos por el usuario y estructuras algebraicas, junto con demostraciones por inducción.
La segunda parte se centra en tipos abstractos de datos y algorítmica, incluyendo implementaciones de polinomios, vectores, matrices, relaciones binarias, conjuntos y grafos. Se abordan operaciones algebraicas, verificación de propiedades y técnicas de comprobación.
La tercera parte reúne casos de estudio que aplican los conceptos desarrollados previamente a problemas concretos, como cifrado, combinatoria, cálculo numérico, teoría de números y estructuras matemáticas. El libro incorpora además apéndices con un resumen de funciones predefinidas de Haskell y una exposición del método de Pólya para la resolución de problemas.
Índice del libro
Parte I. Introducción a la programación funcional
- Definiciones elementales de funciones
- Definiciones por comprensión
- Definiciones por recursión
- Definiciones por recursión y por comprensión
- Funciones sobre cadenas
- Funciones de orden superior
- Listas infinitas
- Tipos definidos y de datos algebraicos
- Demostración de propiedades por inducción
- Parte II. Tipos abstractos de datos y algorítmica
10. Polinomios
11. Vectores y matrices
12. Relaciones binarias homogéneas
13. Operaciones con conjuntos
14. Grafos - Parte III. Casos de estudio
15. El cifrado César
16. Codificación y transmisión de mensajes
17. Resolución de problemas matemáticos
18. El 2011 y los números primos
19. Combinatoria
20. Cálculo numérico
21. Ecuación con factoriales
22. Cuadrados mágicos
23. Enumeraciones de los números racionales - Apéndices
A. Resumen de funciones predefinidas de Haskell
B. Método de Pólya para la resolución de problemas
Datos del libro
- Título: Piensa en Haskell (Ejercicios de programación funcional con Haskell)
- Autor: José A. Alonso Jiménez; José Hidalgo Doblado
- Categoría principal: Programación
- Subcategoría: Otros lenguajes de programación
- Idioma: Español
- Licencia: Creative Commons Reconocimiento–NoComercial–CompartirIgual 2.5 Spain (CC BY-NC-SA 2.5 ES)
Más libros en: Haskell, Programación
Aviso legal: Este libro se comparte únicamente con fines educativos. El contenido se distribuye bajo licencias Creative Commons o permisos explícitos de sus autores. OpenLibro no aloja material con derechos reservados.