Não vou entrar em detalhes sobre o funcionamento já que a dúvida é mais relacionado com a terminologia.
Introdução
Cada linguagem pode ter sua própria definição. Em termos gerais há uma definição mais aceita sobre o que é cada um. Há alguma controvérsia mas existem fontes confiáveis formais sobre alguns termos que expressam os conceitos referidos.
Alguém que venha de outra linguagem pode achar estes termos errados. Em geral é interessante usar os termos que a comunidade que você está inserido usa para facilitar a comunicação. Mas é bom entender todos os termos e como funciona o recurso. Se encontrar alguém com viés mais acadêmico ela vai expressar da forma mais correta, se preocupando em usar o termo mais correto em cada situação. Mas a maioria das pessoas vão se preocupar mais em apenas comunicar a ideia.
Termos
Você pode encontrar também os termos function pointer, functor, anonymous function, first class function, function object, high order function, nested function (este acho um pouco enganador), callback (que também é possível sem ser exatamente uma lambda), inline function (acho este termo mais ambíguo ainda) e outros para nomear o mecanismo ou conceito. Sem esquecer das traduções destes termos que podem ser usados também, é comum falar em "função anônima". Alguns destes termos tratam de coisas ligeiramente diferentes. Eles podem estar definindo algum detalhe específico.
Delegate
Podemos dizer que o delegate é o mecanismo usado para implementar o conceito de lambdas. Em C# por exemplo, o termo lambda é usado para indicar uma sintaxe mais simples, mais tersa de um delegate. Delegates costumam ser objetos em linguagens orientadas a objeto. Normalmente criados à partir de uma classe/estrutura com a infraestrutura necessária para tratar esses delegados conforme as regras da linguagem. Exemplo.
Code Block
Uma lambda é uma função definida como um bloco de código a ser executado futuramente, por isto em algumas linguagens usa-se o termo code block.
Lambda
Provavelmente uma termos mais usados para expressar o conceito. Estritamente uma lambda seria a closure que não tem capacidade de capturar variáveis mas nem sempre é interpretado desta forma. Note que usei preferencialmente este termo em toda resposta.
Elas se diferenciam da funções nomeadas normalmente conhecidas que são "fixas".
Closure
O termo closure costuma ser usado quando a lambda captura, enclausura, um estado, possivelmente uma variável, do escopo externo ao seu corpo mas dentro do escopo em que a lambda foi definida. Estas variáveis podem receber vários nomes: non local, free variables ou upvalues. Se você terminar a execução de uma função onde uma lambda foi definida e o retorno desta função for justamente a lambda que enclausurou uma variável local, esta variável será destacada e irá junto com a lambda podendo ser acessada em outro momento quando ela for invocada para execução.
Um exemplo simples (fiz em JavaScript que é mais universal):
function funcao() {
var x = 1;
return function (n) {
return x + n; //sempre vai retornar o argumento usado na chamada desta lambda + 1
}
}
var func = funcao();
func(2); //retorna 3
Há quem use o termo closure mesmo quando esta captura não ocorre. E acho que não deixa de estar certo. Eu entendo que a lambda não precisa capturar a variável para poder usar o termo closure, senão fica muito efêmero. Eu acredito que o fato da lambda ter a capacidade de fazer esta captura, mesmo que não o faça em uma instância específica, é o que importa. E quase sempre (em quase todas as linguagens) uma lambda tem essa capacidade, por isto é frequente usar apenas um único termo para qualquer situação.
O termo closure costuma ser usado para indicar lexical closure. Existe também o termo syntatic closure que se aproxima mais de uma macro encontrada em linguagens como Lisp.
Um exemplo do C#:
public static Func<int,int> Func() {
var x = 1;
Func<int, int> inc = p => {
x++;
return p + x;
};
return inc;
}
Seria compilado para algo mais ou menos assim:
private class Closure {
public int x;
public int AnonymousFunction(int p) {
this.x++;
return p + this.x;
}
}
public static Func<int,int> Func() {
Closure c = new Closure();
c.x = 1;
Func<int, int> inc = c.AnonymousFunction;
return inc;
}
Coloquei no GitHub para referência futura.
Miscelânea e conclusão
Note que qualquer que seja o nome que está usando, o conceito de lambda pressupõe que ela seja tratada como um valor de alguma forma, portando ela deve poder ser guardada em uma variável ou passada como argumento de uma função para ser executada mais tarde possibilitando lazy evaluation, por exemplo. Desconheço lambdas que não possam ser atribuídas a um outro objeto. E acho que se isto não for feito, perde completamente o sentido de sua utilização. Normalmente espera-se que uma lambda possa ser retornada como resultado de uma função. Mas nem todas linguagens permitem isto e acho uma grande limitação. Isto ocorre principalmente nas linguagens que não possuem um garbage collector. Sem ele é muito difícil implementar closures nas linguagens.
A capacidade de redefinição da assinatura depende mais da linguagem ter tipagem dinâmica ou estática.
Use o termo que for ou a forma que é implementado, eu acho um recurso fundamental em qualquer linguagem. Aprendi seu uso muito cedo e consigo simplificar enormemente muitos códigos com ele.
Veja o artigo na Wikipedia (lembrando sempre que em inglês sempre dá mais detalhes e costuma ser mais correto).
Definição bem acadêmica se tiver paciência. Entender tudo isto é importante em determinados softwares mas o entendimento da ideia geral e os conceitos básicos deste recurso é suficiente para fazer seu controle de estoque, seu site de imobiliária, seu app de lista de compras.
Algumas respostas relacionadas ao assunto: