Computacion y programacion funcional

La programacion funcional ofrece diversas ventajas a la hora de construir software: reduccion de errores, manejo eficiente de datos en entornos concurrentes y paralelos, y un gran respaldo teorico. No obstante, muchos programadores fracasan en su intento de adentrarse en ella por ir directamente a aprenderla usando un lenguaje de programacion (tecnologia), con lo que omiten la teoria y el contexto historico que le dio origen. Este libro incluye una introduccin sobre qu son la computacin y la programacin en pos de delimitar su campo de accin. En segundo lugar, presenta el clculo lambda, el modelo de computacin que influenci a la programacin funcional en los aos cuando ni siquiera existan los lenguajes de programacin, ni mucho menos los ordenadores digitales. Para concluir, el libro emplea los lenguajes de programacin Racket y Python para ensear las diversas caractersticas de la programacin funcional, sus fortalezas y debilidades, y cmo ellas pueden combinarse con otros paradigmas. Con todo ello, aprender:La visin general de la computacin, la programacin y los lenguajes de programacin. Los fundamentos que subyacen a la programacin funcional, como el clculo lambda. Las diferencias entre el clculo lambda libre de tipos y tipado. La aplicacin de estos conceptos en un lenguaje de programacin de estirpe funcional, como lo es Racket, y en otro de uso masivo, como Python. El diseo y la construccin de un pequeo lenguaje de programacin usando el enfoque funcional. Si tiene un mnimo conocimiento en programacin y desea adentrarse en otra forma de pensar y construir sistemas computacionales, donde viven conceptos como reduccin, funciones puras, transparencia referencial, bsqueda de patrones, entre otros, no espere ms para hacerse con este libro. Gracias a l no descubrir tan solo la programacin funcional, sino que ampliar su perspectiva con respecto a la computacin desde una ptica sistmica y libre de dogmas. Camilo Chacn Sartori fue elegido escritor destacado por Quora en espaol durante tres aos seguidos (2018, 2019 y 2020) por sus ms de 700 respuestas sobre ciencias de la computacin. Actualmente tiene un podcast llamado Haba una vez un algoritmo, donde trata temas filosficos, prcticos y tericos sobre la computacin. Obtuvo su licenciatura y mster en Ingeniera Informtica, ambos, con distincin mxima. "e;El libro nos presenta un slido anlisis terico y conceptual de los tpicos vertidos aqu []. La lectura y el estudio detallado de su contenido proveern al lector de conocimientos necesarios que le permitirn comprender, resolver y extender los problemas asociados al desarrollo de programas computacionales, conforme a las tendencias actuales"e;.