Muchos lenguajes de programación funcionales pueden ser vistos como elaboraciones del cálculo lambda.