Muchos lenguajes de programación funcional se han caracterizado por proveer una "fina apariencia" al cálculo lambda, y muchos se describen en sus términos.