Почему для объявлений переменных с блочной областью видимости в JavaScript было выбрано имя let?

Let - это математическое выражение, которое было принято в ранних языках программирования, таких как Scheme и Basic. Переменные считаются низкоуровневыми сущностями, не подходящими для более высоких уровней абстракции, поэтому многие разработчики языков стремятся ввести аналогичные, но более мощные концепции, такие как Clojure, F #, Scala, где let может означать значение или переменную , которая может быть назначен, но не изменен, что, в свою очередь, позволяет компилятору улавливать больше ошибок программирования и лучше оптимизировать код.

В JavaScript было var с самого начала, поэтому им просто нужно было другое ключевое слово, и они просто заимствованы из десятков других языков, которые уже используют let в качестве традиционного ключевого слова как можно ближе к var, хотя в JavaScript let вместо этого создает локальную переменную области блока.

Думаю, это следует математической традиции. В математике часто говорят «пусть x будет произвольным действительным числом» или тому подобное.

В дополнение к ответу exebook, математическое использование ключевого слова let также хорошо инкапсулирует последствия для области охвата let при использовании в Javascript / ES6. В частности, так же, как следующий код ES6 не знает о назначении в фигурных скобках toPrint , когда выводит значение 'Hello World',

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

let, используемое в формализованной математике (особенно при написании доказательств), указывает, что текущий экземпляр переменной существует только в рамках этой логической идеи. В следующем примере x сразу же приобретает новую идентичность при входе в новую идею (обычно это концепции, необходимые для доказательства основной идеи) и сразу же возвращается к старому x после завершения вспомогательного доказательства. Конечно, так же, как и в кодировании, это считается несколько запутанным, и поэтому обычно избегают, выбирая другое имя для другой переменной.

Пусть x будет таким-то ...

Доказательства

Новая идея {Пусть x будет чем-то еще ... докажите что-нибудь} Сделайте новую идею

Подтвердите основную идею с помощью старых x

Он делает то же самое, что и var, но с разницей в области видимости. Теперь он не может принимать имя var, поскольку оно уже занято.

Таким образом, похоже, что он взял следующее лучшее имя, которое имеет семантику в интересной конструкции английского языка.

let myPet = 'dog';

На английском написано: «Пусть моим питомцем будет собака».

Скорее всего, это был самый идиоматический выбор. Не только легко говорить, но и интуитивно понятно. Некоторые могут поспорить, даже больше, чем var.

Но я считаю, что в этом есть немного больше истории.

Из Википедии:

Язык LCF Даны Скотт был этапом в эволюции лямбда-исчисления в современные функциональные языки. В этом языке появилось выражение let, которое с того времени появилось в большинстве функциональных языков.

Императивные языки с полным состоянием, такие как ALGOL и Pascal, по сути, реализуют выражение let для реализации ограниченного объема функций в блочных структурах.

Я хотел бы верить, что это тоже было источником вдохновения для let в Javascript.

Это также может означать что-то вроде «Тип лексического окружения или связанный». Меня беспокоит, что это будет просто «пусть это будет тем». И пусть rec не имеет смысла в лямбда-исчислении.

Let использует более непосредственную ограниченную область на уровне блока, тогда как var обычно является областью функции или глобальной областью.

Кажется, что let был выбран, скорее всего, потому что он используется во многих других языках для определения переменных, таких как BASIC и многих других.

Я думаю, что здесь очевидна заслуга JavaScript перед Scheme. В схеме есть не только let, но и let *, let * -значения, let-синтаксис и let-значения. (См. Язык программирования схем, 4-е изд.).

((Этот выбор добавляет доверия к представлению о том, что JavaScript - это Lispy, но - пока мы не увлеклись - не гомоиконичен.))))