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

Я понимаю, почему varберет это имя - оно является переменным, const- оно является константой, но каково значение этого имени let, которое относится к текущему блоку? Будь как будет?

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

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

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

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

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

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

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

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

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

 Докажите основную идею со старым х

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

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

let myPet = 'dog';

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

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

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

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

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

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

Я хотел бы верить, что это тоже послужило вдохновением для letJavascript.

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

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

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

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

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