Computación y Programación Funcional
Chacón Sartori, Camilo
La programación funcional ofrece diversas ventajas a la hora de construir software: reducción de errores, manejo eficiente de datos en entornos concurrentes y paralelos, y un gran respaldo teórico. No obstante, muchos programadores fracasan en su intento de adentrarse en ella por ir directamente a aprenderla usando un lenguaje de programación (tecnología), con lo que omiten la ...
Sinopsis
La programación funcional ofrece diversas ventajas a la hora de construir software: reducción de errores, manejo eficiente de datos en entornos concurrentes y paralelos, y un gran respaldo teórico. No obstante, muchos programadores fracasan en su intento de adentrarse en ella por ir directamente a aprenderla usando un lenguaje de programación (tecnología), con lo que omiten la teoría y el contexto histórico que le dio origen. Este libro incluye una introducción sobre qué son la computación y la programación en pos de delimitar su campo de acción. En segundo lugar, presenta el cálculo lambda, el modelo de computación que influenció a la programación funcional en los años cuando ni siquiera existían los lenguajes de programación, ni mucho menos los ordenadores digitales. Para concluir, el libro emplea los lenguajes de programación Racket y Python para enseñar las diversas características de la programación funcional, sus fortalezas y debilidades, y cómo ellas pueden combinarse con otros paradigmas. Con todo ello, aprenderá: o La visión general de la computación, la programación y los lenguajes de programación. o Los fundamentos que subyacen a la programación funcional, como el cálculo lambda. o Las diferencias entre el cálculo lambda libre de tipos y tipado. o La aplicación de estos conceptos en un lenguaje de programación de estirpe funcional, como lo es Racket, y en otro de uso masivo, como Python. o El diseño y la construcción de un pequeño lenguaje de programación usando el enfoque funcional. Si tiene un mínimo conocimiento en programación y desea adentrarse en otra forma de pensar y construir sistemas computacionales, donde viven conceptos como reducción, funciones puras, transparencia referencial, búsqueda de patrones, entre otros, no espere más para hacerse con este libro. Gracias a él no descubrirá tan solo la programación funcional, sino que ampliará su perspectiva con respecto a la computación desde una óptica sistémica y libre de dogmas. Camilo Chacó
Índice
Prólogo................................................................................... 1 Acerca del libro...................................................................... 5 PARTE I INTRODUCCIÓN A LA COMPUTACIÓN Y LA PROGRAMACIÓN Capítulo 1. ¿Qué es la computación?................................... 11 Capítulo 2. ¿Qué es la programación?.................................. 27 Capítulo 3. Lenguajes de programación............................... 39 PARTE II CÁLCULO LAMBDA.................................................. 55 Capítulo 4. ¿Qué es el cálculo lambda?................................ 57 Capítulo 5. Operadores y variables....................................... 73 Capítulo 6. Reducción........................................................... 89 Capítulo 7. Aritmética........................................................... 99 Capítulo 8. Condicionales................................................. 111 Capítulo 9. Tuplas y listas................................................. 121 Capítulo 10. Tipos............................................................. 131 Capítulo 11. Cálculo-? como base de un lenguaje de programación real........ 151 PARTE III PROGRAMACIÓN FUNCIONAL........................... 161 Capítulo 12. ¿Qué es la programación funcional?............ 163 Capítulo 13. Estructuras de datos.................................... 205 Capítulo 14. Algoritmos.................................................... 233 Capítulo 15. Crear un pequeño lenguaje de programación usando Racket................ 265
Comentarios
Sé el primero en comentar este libroTambién te puede interesar
Otros libros del autor
