La irrazonable efectividad de la matemática para la programación
Detalles
Gabriel Claramunt se pregunta: "La programación... es matemática?"
Muchas veces usamos programas para resolver problemas matemáticos, pero .... que tal si usamos la matemática para resolver problemas de programación?
Demos un paseo por el calculo lambda, la equivalencia de Curry-Howard, y teoría de categorías, explorando la relación entre la programación y la matemática - en particular con la programación funcional - el rico abanico de posibilidades que esto posibilita, y porque importa.
--------------------------------------------------------------------------------------------
Gabriel era un feliz programador enterprise hasta que descubrió Scala y se enamoro de la programación funcional. Trabajo para varios tipos de empresas, desde pequeñas startups hasta empres del Fortune 500 y bancos de Wall Street. Luego de vagar por las Americas, volvió a Uruguay, donde fundo Scalents, una consultora distribuida focalizada en Scala y programación funcional.
Gabriel Claramunt (https://twitter.com/gclaramunt)