Ingenier1a en Inform2tica

Apuntes

Ingeniería en Informática Tecnologías de la Programación Paradigma Funcional Esp. Ing. Viviana A. Santucci AIA Federico Castoldi Ing. V. Franco Matzkin Ing. Cecilia Serafini Última modificación: 17 de Abril de 2024 14:00 Ingeniería en Informática Tecnologías de la Programación 1 – Lambda-Cálculo 2024 2 Es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y la recursión. Es el más pequeño lenguaje universal de programación. Consiste de una regla de transformación simple (substitución de variables) y un esquema simple para definir funciones. El cálculo lambda es universal porque cualquier función computable puede ser expresada y evaluada a través de él. Ingeniería en Informática Tecnologías de la Programación 1 – Lambda-Cálculo 2024 3 Por ejemplo, si una función f es definida por la ecuación f(x)=t, donde t es algún término que contiene a x, entonces la aplicación f(u) devuelve el valor t[u/x], donde t[u/x] es el término que resulta de sustituir u en cada aparición de x en t. Por ejemplo, si f(x)=x*x, entonces f(3)=3*3=9. Ingeniería en Informática Tecnologías de la Programación 1 – Lambda-Cál...