Hace un par de semanas, me he comprometido ha realizar un repaso de calculo lambda, como hace mucha gente en sus blogs, voy a hacerlo de manera incremental,  este es el nro 0, porque conceptualmente creo que no daré aun aportes interesantes, mi intención es solo que nos introduzcamos un poco a lo que entiendo por calculo lambda y entre todos los miembros de la comunidad, a través de sus observaciones-críticas-comentarios-preguntas vayamos familiarizandonos o entendiendo mas el calculo lambda.

Cuando hablamos de cálculo labmda, el primer acercamiento que se tiene es son sus bases matemáticas, es decir, se suelen revisar algunos teoremas, reglas aplicar demostraciones y otros. La verdad para un curso de informática quedarse ahí tiene sabor a poco, es más, probablemente en algún tiempo hasta se olvide. Lo interesante del calculo lamda es cuando, después de comprender toda esa base matemática,  se comienza a crear nuevas reglas, por ejemplo reglas que representan algunos valores constantes, algunas expresiones matemáticas y lógicas, cuando se empieza a construir reglas matemáticas que representan expresiones condicionales, es en ese momento que se empieza a comprender la relación de la matemática del calculo lambda y la programación de lenguajes. Pero lo más increible es que después de la elaboración de todas las reglas, todas con bases matemáticas y demostraciones, la traducción a la implementación de un lenguaje de programación es casi inmediata, es casi como copiar las reglas.

Justamente de esa forma se ha desarrollado el lenguaje Haskell, es por eso que existe tanta relación entre el calculo lambda y haskell.

Por ahora es todo, en la siguiente entrega, realizaré una introducción formal al calculo lambda.