Muchik Network

Cálculo lambda

Cálculo lambda

El cálculo lambda permite definir una función matemática bajo unas reglas simples, la ventaja es que se puede trasladar a una computadora manteniendo la lógica.

I. Aprender

1.1. Las reglas que definen el cálculo lambda son:

expresión 
  := variable
  | expresión expresión
  | λ variable . expresión

1.2. El cálculo lambda es la base teórica de la programación funcional junto con la Teoría de categorías.

II. Complementar

2.1. Existen varias formas de solución y en programación lenguajes como Haskell y Lisp siguen esas formas.

2.2. El cálculo lambda implementa conceptos como concurrencia, todo es una función, pereza, etc.

III. Especializar

3.1. Una forma didáctica es realizar un intérprete de cálculo lambda con el lenguaje que más cómodo uno se siente.