30 de Septiembre del 2022
INVESTIGACION
lambda
GARCIA ALONSO JOSE ANTONIO
19680154@[Link]
BRAVO HERNANDEZ VALERIA JESSICA
PROGRAMACION LOGICA Y FUNCIONAL
INGENIERIA EN SISTEMAS COMPUTACIONALES
GRUPO: 2 SEMESTRE: 7
índice
USO DE LAMBDA EN LA PROGRAMACION........1
CALCULO LAMBDA ..........................1
VARIABLES.................................1
LA ABSTRACCION............................3
LA APLICACION.............................4
EJEMPLO...................................4
Uso de lambda en la
programación
CALCULO LAMBDA
El cálculo lambda Se puede ver como un lenguaje de programación
minimalista creado por Alonzo Church.
No tiene números, caracteres o Booleanos, o tipos de datos otros que
funciones Sin embargo, puede representar cualquier Máquina de
Turing.
La función más básica es la función de identidad: λx.x que es
equivalente a f(x) = x. La primera “x” es el argumento de la función y
la segunda es el cuerpo de la función.
VARIABLES
Variables Libres y Enlazadas:
En la función λx.x, “x” se llama una variable enlazada porque está
tanto en el cuerpo de la función como en el parámetro.
En λx.y, “y” se llama variable libre porque nunca se declara de
antemano.
Lógica Booleana:
No hay “Verdadero” o “Falso” en el cálculo lambda. Ni siquiera hay un
1 o un 0. En vez:
T es representado por: λx.λy.x
F es representado por: λx.λy.y
Primero, podemos definir una función “if” λbtf que devuelve t si b es
Verdadero y f si b es
Falso
IF es equivalente a: λb.λt.λf.b t f
Usando IF podemos definir los operadores lógicos booleanos básicos:
a AND b es equivalente a: λ[Link] a b F a OR b es equivalente a: λ[Link] a
T b a NOT b es equivalente a: λ[Link] a F T
Note: IF a b c es esencialmente diciendo: IF((a b) c)
Números:
Aunque no hay números en el cálculo lambda, podemos codificar
números usando Númeral de Church.
Para cualquier número n: n = λf.f n así:
0 = λf.λx.x
1 = λf.λx.f x
2 = λf.λx.f(f x) 3 = λf.λx.f(f(f x))
Para incrementar un númeral de Church, usamos la función sucesora
S(n) = n + 1 que es:
S = λn.λf.λx.f((n f) x)
Usando el sucesor, podemos definir AGREGAR:
AGREGAR = λab.(a S)n
Elementos del cálculo lambda
Las expresiones o términos lambda, se escriben utilizando 3
elementos básicos. 3 elementos: variables, funciones, y aplicaciones.
Nombre
Sintaxis
Ejemplo Explicación
Variable
<nombre>
x una variable llamada “x”
Función λ<parámetro>.<término> λx.x una función con
parámetro “x” y cuerpo
“x”
Aplicación <término><término> (λx.x)a llamar la función “λx.x”
con el parámetro
“a”
La función más simple es la identidad: λx.x que es equivalente a f(x) =
x.
LA ABSTRACCION
El cálculo lambda usa objetos llamados lambda-términos: v λv.E1 (E1
E2)
• v es un nombre de variable, E1 Y E2 son lambda términos y λv.E1
se llaman abstracciones v es el parámetro formal y E1 es el cuerpo de
la abstracción.
• λv.E1 es una función que recibe v como valor para sustituir y
devuelve el valor de E1 para cada ocurrencia de (E1 E2) son llamados
aplicaciones esta forma representa la llamada a la función E1
recibiendo como argumento E2.
LA APLICACIÓN
El cálculo lambda es una notación formal que permite expresar
funciones computa-bles. El cuál es el fundamento de la programación
funcional. Se define con la letra griega lambda (λ) y se expresa a
través de expresiones lambda, y términos lambda que son usados
para representarvariables dentro de una función.
EJEMPLO :
Como se realiza una suma.