Warum wurde der Name 'let' für Variablendeklarationen mit Blockbereich in JavaScript gewählt?

Ich verstehe, warum vardieser Name verwendet wird - er ist variabel const-, er ist eine Konstante, aber welche Bedeutung hat der Name für letden aktuellen Block? Kümmer dich nicht darum?

Let ist eine mathematische Aussage, die von frühen Programmiersprachen wie Scheme und Basic übernommen wurde. Variablen werden als Entitäten auf niedriger Ebene betrachtet, die nicht für höhere Abstraktionsebenen geeignet sind. Daher möchten viele Sprachdesigner ähnliche, aber leistungsfähigere Konzepte wie in Clojure, F #, Scala einführen, wobei letdies einen Wert oder eine Variable bedeuten kann, die zugewiesen werden kann. aber nicht geändert , wodurch der Compiler mehr Programmierfehler abfängt und den Code besser optimiert.

JavaScript wurde varvon Anfang an verwendet, daher brauchten sie nur ein anderes Schlüsselwort und wurden nur von Dutzenden anderer Sprachen ausgeliehen, die letbereits so weit varwie möglich als traditionelles Schlüsselwort verwendet werden, obwohl in JavaScript letstattdessen eine lokale Variable für den Blockbereich erstellt wird.

Ich denke, es folgt der mathematischen Tradition. In der Mathematik wird oft gesagt "sei x eine beliebige reelle Zahl" oder so.

Zusätzlich zu exebook Antwort , die Mathematik Verwendung des Stichwortes lassen kapselt auch gut die Scoping Auswirkungen , letwenn sie in Javascript / ES6 verwendet. Genauso wie der folgende ES6-Code die Zuordnung in Klammern nicht kennt, toPrint wenn er den Wert von druckt 'Hello World',

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

let wie in der formalisierten Mathematik verwendet (insbesondere das Schreiben von Beweisen) zeigt an, dass die aktuelle Instanz einer Variablen nur für den Umfang dieser logischen Idee existiert. Im folgenden Beispiel erhält x beim Eingeben der neuen Idee sofort eine neue Identität (normalerweise sind dies Konzepte, die zum Nachweis der Hauptidee erforderlich sind) und kehrt nach Abschluss des Unterbeweises sofort zum alten x zurück. Genau wie beim Codieren wird dies natürlich als etwas verwirrend angesehen und daher normalerweise vermieden, indem ein anderer Name für die andere Variable gewählt wird.

Sei x so und so ...

  Beweiszeug

 Neue Idee {Sei x etwas anderes ... beweise etwas} Schließe eine neue Idee ab

 Beweisen Sie die Hauptidee mit altem x

Es macht genau das, was das varmit einem Bereichsunterschied macht. Jetzt kann es den Namen nicht annehmen, varda dieser bereits vergeben ist.

Es sieht also so aus, als hätte es den nächstbesten Namen angenommen, der eine Semantik in einem interessanten englischsprachigen Konstrukt hat.

let myPet = 'dog';

Auf Englisch heißt es "Lass mein Haustier ein Hund sein"

Die wahrscheinlichste Möglichkeit ist, dass es die idiomatischste Wahl war. Es ist nicht nur leicht zu sprechen, sondern auch intuitiv zu verstehen. Einige könnten argumentieren, noch mehr als var.

Aber ich denke, das hat etwas mehr Geschichte.

Aus Wikipedia :

Die LCF-Sprache von Dana Scott war ein Stadium in der Entwicklung des Lambda-Kalküls zu modernen funktionalen Sprachen. Diese Sprache führte den let-Ausdruck ein, der seitdem in den meisten funktionalen Sprachen vorkommt.

Zustandsreiche imperative Sprachen wie ALGOL und Pascal implementieren im Wesentlichen einen let-Ausdruck, um einen eingeschränkten Funktionsumfang in Blockstrukturen zu implementieren.

Ich würde gerne glauben, dass dies auch eine Inspiration für das letin Javascript war.

Let verwendet einen unmittelbareren begrenzten Bereich auf Blockebene, während var normalerweise der Funktionsbereich oder der globale Bereich ist.

Es scheint, dass let höchstwahrscheinlich gewählt wurde, weil es in so vielen anderen Sprachen gefunden wird, um Variablen wie BASIC und viele andere zu definieren.

Ich denke, dass die Verschuldung von JavaScript gegenüber Scheme hier offensichtlich ist. Das Schema hat nicht nur let, sondern auch let *, let * -Werte, let-Syntax und let-Werte. (Siehe The Scheme Programming Language, 4. Aufl.)

((Die Wahl verleiht der Vorstellung, dass JavaScript Lispy ist, aber - bevor wir uns hinreißen lassen - nicht homoikonisch.))))

Es könnte auch so etwas wie "Lexical Environment Type or Tied" bedeuten. Es stört mich, dass es einfach "let this be that " wäre. Und lassen Sie rec im Lambda-Kalkül keinen Sinn ergeben.