9
Por que criar uma linguagem com tipos anônimos exclusivos?
Isso é algo que sempre me incomodou como um recurso das expressões lambda C ++: o tipo de uma expressão lambda C ++ é único e anônimo, simplesmente não consigo anotá-lo. Mesmo se eu criar dois lambdas que são sintaticamente exatamente iguais, os tipos resultantes são definidos para serem distintos. …