Perché è stato scelto il nome 'let' per le dichiarazioni di variabili con ambito di blocco in JavaScript?

Capisco perché varprende quel nome - è variabile, const- è una costante, ma qual è il significato dietro il nome let, quale ambito per il blocco corrente? Lascia fare?

Let è un'affermazione matematica che è stata adottata dai primi linguaggi di programmazione come Scheme e Basic. Le variabili sono considerate entità di basso livello non adatte a livelli più alti di astrazione, quindi il desiderio di molti progettisti di linguaggi di introdurre concetti simili ma più potenti come in Clojure, F #, Scala, dove letpotrebbe significare un valore o una variabile che può essere assegnata, ma non è cambiato , il che a sua volta consente al compilatore di rilevare più errori di programmazione e ottimizzare meglio il codice.

JavaScript ha avuto vardall'inizio, quindi avevano solo bisogno di un'altra parola chiave e sono stati presi in prestito da dozzine di altre lingue che usano letgià come parola chiave tradizionale il più vicino varpossibile, anche se in JavaScript letcrea invece una variabile locale con ambito di blocco.

Immagino che segua la tradizione matematica. In matematica, si dice spesso "lascia che x sia un numero reale arbitrario" o simile.

Aggiungendo alla risposta dell'exbook , l'uso matematico della parola chiave lascia incapsulare bene anche le implicazioni di scoping di letquando usato in Javascript / ES6. In particolare, proprio come il seguente codice ES6 non è a conoscenza dell'assegnazione tra parentesi graffe di toPrint quando stampa il valore di 'Hello World',

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

let come usato in matematica formalizzata (in particolare la scrittura di prove) indica che l'attuale istanza di una variabile esiste solo per lo scopo di quell'idea logica. Nell'esempio seguente, x ottiene immediatamente una nuova identità entrando nella nuova idea (di solito si tratta di concetti necessari per dimostrare l'idea principale) e torna immediatamente alla vecchia x al termine della sottotest. Naturalmente, proprio come nella codifica, questo è considerato un po 'confuso e quindi di solito viene evitato scegliendo un nome diverso per l'altra variabile.

Lascia che x sia così e così ...

  Roba di prova

 Nuova idea {Lascia che x sia qualcos'altro ... prova qualcosa} Concludi nuova idea

 Prova l'idea principale con la vecchia x

Fa esattamente quello che varfa con una differenza di portata. Ora non può prendere il nome varpoiché è già stato preso.

Quindi sembra che abbia preso il prossimo miglior nome che ha una semantica in un interessante costrutto in lingua inglese.

let myPet = 'dog';

In inglese si dice "Lascia che il mio animale domestico sia un cane"

La possibilità più probabile è che sia stata la scelta più idiomatica. Non solo è facile da parlare, ma piuttosto intuitivo da capire. Alcuni potrebbero discutere, anche più di così var.

Ma credo che ci sia un po 'più di storia in questo.

Da Wikipedia :

Il linguaggio LCF di Dana Scott è stato un palcoscenico nell'evoluzione del calcolo lambda in linguaggi funzionali moderni. Questo linguaggio ha introdotto l'espressione let, che è apparsa nella maggior parte dei linguaggi funzionali da allora.

Linguaggi imperativi pieni di stato come ALGOL e Pascal implementano essenzialmente un'espressione let, per implementare un ambito ristretto di funzioni, in strutture a blocchi.

Vorrei credere che anche questa fosse un'ispirazione per letJavascript.

Consenti utilizza un ambito limitato a livello di blocco più immediato, mentre var è in genere un ambito di funzione o un ambito globale.

Sembra che sia stato scelto molto probabilmente perché si trova in così tante altre lingue per definire variabili, come BASIC, e molte altre.

Penso che l'indebitamento di JavaScript verso Scheme sia evidente qui. Lo schema non solo ha lasciato, ma ha lasciato *, let * -values, let-syntax e let-valori. (Vedi, The Scheme Programming Language, 4th Ed.).

((La scelta aggiunge ulteriore credenza all'idea che JavaScript sia Lispy, ma - prima che ci lasciamo trasportare - non omoiconico.))))

Potrebbe anche qualcosa di dire come "lessicale ambiente Tipo o legato" .. mi da fastidio che sarebbe semplicemente "lasciare questo sia quello ". E lasciare che rec non abbia senso nel calcolo lambda.