Por que o nome 'let' foi escolhido para declarações de variáveis ​​com escopo de bloco em JavaScript?

Eu entendo por varque leva esse nome - é variável, const- é uma constante, mas qual é o significado por trás do nome let, com escopos para o bloco atual? Deixe ser?

Let é uma afirmação matemática que foi adotada pelas linguagens de programação iniciais, como Scheme e Basic. As variáveis ​​são consideradas entidades de baixo nível não adequadas para níveis mais altos de abstração, portanto, o desejo de muitos designers de linguagem de introduzir conceitos semelhantes, mas mais poderosos, como Clojure, F #, Scala, onde letpode significar um valor ou uma variável que pode ser atribuída, mas não mudou , o que, por sua vez, permite ao compilador detectar mais erros de programação e otimizar melhor o código.

O JavaScript teve vardesde o início, então eles só precisavam de outra palavra-chave e apenas pediram emprestado de dezenas de outros idiomas que letjá usam a palavra-chave tradicional o mais próximo varpossível, embora, no JavaScript, letcrie uma variável local do escopo do bloco.

Eu acho que segue a tradição matemática. Em matemática, costuma-se dizer "seja x um número real arbitrário" ou algo assim.

Adicionando à resposta do exebook , o uso matemático da palavra-chave let também encapsula bem as implicações de escopo de letquando usado em Javascript / ES6. Especificamente, assim como o código ES6 a seguir não está ciente da atribuição entre chaves de toPrint quando ele imprime o valor de 'Hello World',

let toPrint = 'Hello World.';
{
    let toPrint = 'Goodbye World.';
}
console.log(toPrint); // Prints 'Hello World'

let usado na matemática formalizada (especialmente a redação de provas) indica que a instância atual de uma variável existe apenas para o escopo dessa ideia lógica. No exemplo a seguir, x imediatamente ganha uma nova identidade ao inserir a nova idéia (geralmente esses são conceitos necessários para provar a idéia principal) e reverte imediatamente para o antigo x após a conclusão da subprova. Obviamente, assim como na codificação, isso é considerado um pouco confuso e, portanto, geralmente é evitado escolhendo um nome diferente para a outra variável.

Seja x assim e tão ...

  Material de prova

 Nova idéia {Seja x outra coisa ... prove alguma coisa} Conclua nova idéia

 Prove a idéia principal com o x antigo

Ele faz exatamente o que varfaz com uma diferença de escopo. Agora, ele não pode receber o nome, varpois ele já foi usado.

Portanto, parece que ele adotou o próximo melhor nome, que tem uma semântica em uma construção interessante no idioma inglês.

let myPet = 'dog';

Em inglês, diz "Deixe meu animal de estimação ser um cachorro"

A possibilidade mais provável é que foi a escolha mais idiomática. Não é fácil falar, mas também intuitivo. Alguns poderiam argumentar, ainda mais que isso var.

Mas acho que há um pouco mais de história nisso.

Da Wikipedia :

A linguagem LCF de Dana Scott foi um estágio na evolução do cálculo lambda para as linguagens funcionais modernas. Essa linguagem introduziu a expressão let, que apareceu na maioria das linguagens funcionais desde então.

Linguagens imperativas cheias de estado, como ALGOL e Pascal, implementam essencialmente uma expressão let, para implementar o escopo restrito de funções, em estruturas de blocos.

Gostaria de acreditar que isso também foi uma inspiração para o letJavascript.

Let usa um escopo limitado em nível de bloco mais imediato, enquanto var é escopo de função ou escopo global.

Parece que let foi escolhido com maior probabilidade porque é encontrado em muitas outras linguagens para definir variáveis, como BASIC, e muitas outras.

Eu acho que o endividamento do JavaScript para o Scheme é óbvio aqui. O esquema não apenas permitiu, mas permitiu valores *, let *, sintaxe let e valores let. (Veja, The Scheme Programming Language, 4ª Ed.).

((A escolha adiciona mais credibilidade à noção de que o JavaScript é Lispy, mas - antes de nos deixarmos levar - não é homoicônico.))))

Também poderia significar algo como "Lexical Environment Type or Tied". Me incomoda que simplesmente seja "deixe isto ser aquilo ". E deixar rec não faria sentido no cálculo lambda.