Introducción al Calculo lambda.
Traducción no oficial de:
http://www.jetcafe.org/jim/lambda.html

Funciones y notación lambda.

la definición de una función, es para cualquier, persona animal o cosa que acepta elementos de entrada generando una salida.

Como es de imaginarse, si tenemos una maquina que hace cubiertas de chocolate, al ingresar un ingrediente es capaz de producir una cubierta de chocolate de ese ingrediente, Por ejemplo: Si tenemos en la entrada de la maquina agregamos maní, su salida deberá ser cubierta de maní.

    maní             ->    cubierta-achocolatada-de maní
    ciruelas         ->    cubierta-achocolatada-de ciruelas
    hormigas culonas*->    cubierta-achocolatada-de hormigas culonas
 
Luego entonces, nosotros podemos usar el calculo lambda, para describirla de esta forma:
    Lambdax.cubierta-achocolatada-de x
 
Esto se denomina, una expresión lambda, ( En este caso usaremos el termino 'Lambda', de la traducción original 'L' de la página citada al inicio, que corresponde a una adaptación de la letra griega a nuestro alfabeto )

Si deseamos usar un argumento para la función, procedemos a usar la siguiente sintaxis:
    (Lambdaingrediente.cubierta-achocolatada-de ingrediente)maní    -> cubierta-achocolatada-de maní
    (Lambdax.cubierta-achocolatada-de x)maní                        -> cubierta-achocolatada-de maní
 
Las Funciones tambien pueden ser aplicadas a una expresión lambda, lo que sería algo así como crear una función cubridora de algún ingrediente.

    Lambday.Lambdax.cuebierta-y-de x
 
Nosotros podemos emplear esto para crear una funcion de tipo cubierta-acaramelada-de:
    (Lambday.Lambdax.cubierta-y-de x)acaramelada -> Lambdax.cuebierta-acaramelada-de x
    (Lambdax.cubierta-acaramelada-de x)maní      -> cubierta-acaramelada-de maní
 
Adicionalmente, es válido que las entradas de otras funciones como hechar-hormigas-culonas-a, sean otras funciones:
    Lambdafuncion.(funcion)hormigas culonas
Finalmente, podemos alimentar la funcion "cubierta-ingrediente-de" con la función hechar-hormigas-culonas-a
    (Lambdaf.(f)hormigas culonas) Lambdax.cubierta-achocolatada-de x
    -> (Lambdax.cubierta-achocolatada-de x)hormigas culonas
    -> cubierta-achocolatada-de hormigas culonas


  • hormigas culonas: Alimento típico de las regiones santandereanas de Colombia.