Computación y programación funcional

Una introducción al cálculo lambda y la programación funcional usando Racket y Python Enero del 2021 - Editorial Marcombo - 318 páginas.
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á:

  • La visión general de la computación, la programación y los lenguajes de programación.
  • Los fundamentos que subyacen a la programación funcional, como el cálculo lambda.
  • Las diferencias entre el cálculo lambda libre de tipos y tipado.
  • 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.
  • 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.

«El libro nos presenta un sólido análisis teórico y conceptual de los tópicos vertidos aquí […]. La lectura y el estudio detallado de su contenido proveerán al lector de conocimientos necesarios que le permitirán comprender, resolver y extender los problemas asociados al desarrollo de programas computacionales, conforme a las tendencias actuales.»

—Carlos Lauterbach

PhD en Ciencias de la Computación. UCLA.

Camilo

Chacón Sartori

Informático

Tengo siete años de experiencia laboral como desarrollador de software. He escrito un libro; realizo un pódcast; tengo algunos ensayos y tutoriales; todos ellos sobre la ciencia de la computación.

Me interesa conocer en profundidad la naturaleza de la computación desde un punto de vista científico y filosófico.

Soy un asiduo escritor de QuoraES. Véase mi perfil.

Además soy creador del espacio en QuoraES: «Había una vez un algoritmo...» que cuenta actualmente con más de 21mil seguidores. Véase aquí.

Escríbeme a: camilochs@gmail.com

Pódcast

Sitio web: https://algoritmo.buzzsprout.com/