¿Por qué se eligió el nombre 'let' para las declaraciones de variables de ámbito de bloque en JavaScript?

Entiendo por qué vartoma ese nombre, es variable, constes una constante, pero ¿cuál es el significado detrás del nombre let, que abarca el bloque actual? ¿Déjalo ser?

Let es una declaración matemática que fue adoptada por los primeros lenguajes de programación como Scheme y Basic. Las variables se consideran entidades de bajo nivel que no son adecuadas para niveles superiores de abstracción, por lo tanto, el deseo de muchos diseñadores de idiomas de introducir conceptos similares pero más potentes como en Clojure, F #, Scala, donde letpodría significar un valor o una variable que se puede asignar, pero no cambiado , lo que a su vez permite que el compilador detecte más errores de programación y optimice mejor el código.

JavaScript ha tenido vardesde el principio, por lo que solo necesitaban otra palabra clave, y solo tomaron prestados de docenas de otros idiomas que letya usan como palabra clave tradicional lo más cerca varposible, aunque en JavaScript letcrea una variable local de alcance de bloque en su lugar.

Supongo que sigue la tradición matemática. En matemáticas, a menudo se dice "sea x un número real arbitrario" o algo así.

Además de la respuesta de exebook , el uso matemático de la palabra clave también permite encapsular bien las implicaciones de alcance letcuando se usa en Javascript / ES6. Específicamente, así como el siguiente código ES6 no conoce la asignación entre paréntesis de toPrint cuándo imprime el valor de 'Hello World',

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

dejar como se usa en las matemáticas formalizadas (especialmente la escritura de pruebas) indica que la instancia actual de una variable existe solo para el alcance de esa idea lógica. En el siguiente ejemplo, x inmediatamente adquiere una nueva identidad al ingresar a la nueva idea (por lo general, estos son conceptos necesarios para probar la idea principal) y vuelve inmediatamente a la x anterior al concluir la sub-prueba. Por supuesto, al igual que en la codificación, esto se considera algo confuso y, por lo general, se evita eligiendo un nombre diferente para la otra variable.

Deje x ser tal y tal ...

  Cosas de prueba

 Nueva idea {Sea x otra cosa ... pruebe algo} Concluya una nueva idea

 Demuestre la idea principal con la vieja x

Hace exactamente lo que varhace con una diferencia de alcance. Ahora no puede tomar el nombre varya que ya está en uso.

Por lo tanto, parece que ha tomado el siguiente mejor nombre que tiene una semántica en una construcción interesante del idioma inglés.

let myPet = 'dog';

En inglés dice "Deja que mi mascota sea un perro"

La posibilidad más probable es que fue la elección más idiomática. No solo es fácil de hablar, sino más bien intuitivo de entender. Algunos podrían discutir, incluso más que eso var.

Pero creo que hay un poco más de historia en esto.

De Wikipedia :

El lenguaje LCF de Dana Scott fue una etapa en la evolución del cálculo lambda en lenguajes funcionales modernos. Este lenguaje introdujo la expresión let, que ha aparecido en la mayoría de los lenguajes funcionales desde entonces.

Los lenguajes imperativos de estado completo como ALGOL y Pascal esencialmente implementan una expresión let, para implementar un alcance restringido de funciones, en estructuras de bloques.

Me gustaría creer que esto también fue una inspiración, para letJavascript.

Let utiliza un alcance limitado de nivel de bloque más inmediato, mientras que var es típicamente el alcance de la función o el alcance global.

Parece que let fue elegido con mayor probabilidad porque se encuentra en muchos otros idiomas para definir variables, como BASIC y muchos otros.

Creo que el endeudamiento de JavaScript con Scheme es obvio aquí. El esquema no solo tiene let, sino que también tiene valores *, let *, sintaxis let y valores let. (Ver, El lenguaje de programación del esquema, 4ª ed.).

((La elección agrega más credibilidad a la noción de que JavaScript es Lispy, pero, antes de dejarnos llevar, no es homicónico))))

También podría significar algo así como "léxico Tipo Medio Ambiente o atado" .. Me molesta que simplemente sería "dejar que esta sea que ". Y dejar que rec no tenga sentido en el cálculo lambda.