Pourquoi le nom «let» a-t-il été choisi pour les déclarations de variables de portée bloc en JavaScript?

Je comprends pourquoi varprend ce nom - il est variable, const- c'est une constante, mais quelle est la signification derrière le nom let, qui s'étend au bloc actuel? Laisse faire?

Let est une déclaration mathématique qui a été adoptée par les premiers langages de programmation comme Scheme et Basic. Les variables sont considérées comme des entités de bas niveau ne convenant pas à des niveaux d'abstraction plus élevés, d'où le désir de nombreux concepteurs de langage d'introduire des concepts similaires mais plus puissants comme dans Clojure, F #, Scala, où letpourrait signifier une valeur ou une variable qui peut être affectée, mais pas modifié , ce qui permet au compilateur de détecter plus d'erreurs de programmation et d'optimiser le code mieux.

JavaScript a eu vardepuis le début, donc ils avaient juste besoin d'un autre mot-clé, et ont simplement emprunté à des dizaines d'autres langages qui utilisent letdéjà comme mot-clé traditionnel aussi près varque possible, bien qu'en JavaScript letcrée à la place une variable locale de portée de bloc.

Je suppose que cela suit la tradition mathématique. En mathématiques, on dit souvent "que x soit un nombre réel arbitraire" ou comme ça.

En plus de la réponse de exebook , l'utilisation mathématique du mot clé let résume également bien les implications de la portée letlorsqu'il est utilisé dans Javascript / ES6. Plus précisément, tout comme le code ES6 suivant n'a pas connaissance de l'affectation entre accolades toPrint lorsqu'il imprime la valeur de 'Hello World',

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

let tel qu'il est utilisé dans les mathématiques formalisées (en particulier l'écriture de preuves) indique que l'instance actuelle d'une variable n'existe que pour la portée de cette idée logique. Dans l'exemple suivant, x acquiert immédiatement une nouvelle identité en entrant dans la nouvelle idée (ce sont généralement des concepts nécessaires pour prouver l'idée principale) et revient immédiatement à l'ancien x à la fin de la sous-preuve. Bien sûr, tout comme dans le codage, cela est considéré comme quelque peu déroutant et est donc généralement évité en choisissant un nom différent pour l'autre variable.

Soit x tel ou tel ...

  Trucs de preuve

 Nouvelle idée {Que x soit autre chose ... prouve quelque chose} Conclure une nouvelle idée

 Prouver l'idée principale avec l'ancien x

Il fait exactement ce que varfait une différence de portée. Maintenant, il ne peut pas prendre le nom varcar c'est déjà pris.

Il semble donc qu'il a pris le meilleur nom suivant qui a une sémantique dans une construction intéressante en langue anglaise.

let myPet = 'dog';

En anglais, il est dit "Que mon animal soit un chien"

La possibilité la plus probable était qu'il s'agissait du choix le plus idiomatique. Non seulement il est facile à parler, mais plutôt intuitif à comprendre. Certains pourraient argumenter, encore plus que var.

Mais je pense qu'il y a un peu plus d'histoire à ce sujet.

De Wikipédia :

Le langage LCF de Dana Scott a été une étape dans l'évolution du calcul lambda en langages fonctionnels modernes. Cette langue a introduit l'expression let, qui est apparue dans la plupart des langages fonctionnels depuis cette époque.

Les langages impératifs à état complet tels que ALGOL et Pascal implémentent essentiellement une expression let, pour implémenter une portée restreinte de fonctions, dans des structures de blocs.

J'aimerais croire que c'était aussi une inspiration, pour le letJavascript.

Let utilise une portée limitée de niveau bloc plus immédiate alors que var est généralement une portée de fonction ou une portée globale.

Il semble que let ait été choisi très probablement parce qu'il se trouve dans de nombreux autres langages pour définir des variables, telles que BASIC, et bien d'autres.

Je pense que l'endettement de JavaScript envers Scheme est évident ici. Le schéma a non seulement let, mais a let *, let * -values, let-syntax et let-values. (Voir, The Scheme Programming Language, 4e éd.).

((Le choix ajoute plus de crédibilité à la notion que JavaScript est Lispy, mais - avant de nous laisser emporter - pas homoiconique.)))))

Cela pourrait aussi signifier quelque chose comme "Lexical Environment Type or Tied" .. Cela me dérange que ce soit simplement "que ce soit ça ". Et que rec n'aurait aucun sens dans le calcul lambda.