Uma expressão lambda especifica os parâmetros e o mapeamento de uma função. A expressão lambda é a função propriamente dita, que é não nomeada.

Quando uma expressão lambda não é avaliada para um parâmetro, a expressão é dita aplicada a esse parâmetro. A mecânica de tal aplicação é a mesma para qualquer avaliação de função.

Expressões lambda, como outras definições de função, não podem ter mais de dois parâmetros.

Uma função de ordem inferior, é uma função que recebe funções como parâmetros ou que leva a uma função como resultado, ou ambos.

Um tipo comum de forma funcional é a decomposição de funções, que tem dois parâmetros funcionais e leva a uma função cujo valor é o primeiro parâmetro de função real aplicado ao resultado do segundo.