2. ¿Qué es un paradigma?
¿Qué es un paradigma
Funcional?
John McCarthy en 1956.
3. Cálculo de lambda
El cálculo lambda se puede decir que es equivalente a las máquinas
Turing porque es capaz de evaluar y expresar cualquier función
computable.
4. Definición informal
x,y → x + y
Al tomar a los números 2 y 3 como argumentos, se obtiene:
2 + 3
Lo cual es igual a 5. Considérese ahora la versión currificada de la función:
x → (y → x + y)
Si se toma al número 2 como argumento, se obtiene la función:
y → 2 + y
Y tomando luego al número 3 como argumento, se obtiene:
2 + 3
6. Desventajas
● Dificultad inicial para
producir buen código
● Generación de grandes
cantidades de short-lived
garbage (basura de corta
duración)
● Menor eficiencia en el uso
de CPU comparados con
su contraparte imperativa