Чому для оголошень змінної блоку в змінному JavaScript було вибрано ім'я "нехай"?

Я розумію, чому varприймає це ім'я - воно є змінним, const- це константа, але яке значення має ім'я let, яке стосується поточного блоку? Нехай так буде?

Нехай це математичне твердження, яке було прийняте такими мовами раннього програмування, як Scheme та Basic. Змінні вважаються суб'єктами низького рівня, не придатними для більш високих рівнів абстракції, тому бажання багатьох дизайнерів мови запровадити подібні, але більш потужні поняття, такі як Clojure, F #, Scala, де це letможе означати значення або змінну, яку можна призначити, але не змінено , що в свою чергу дозволяє компілятору вловлювати більше помилок програмування та краще оптимізувати код.

JavaScript був varз самого початку, тому їм просто потрібно було ще одне ключове слово, а також просто запозичене з десятків інших мов, які використовують letяк традиційне ключове слово якомога ближче var, хоча в JavaScript letстворюється блокова локальна змінна.

Я думаю, що це відповідає математичній традиції. У математиці часто говорять «нехай x довільне дійсне число» або подібне.

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

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

нехай, як використовується у формалізованій математиці (особливо при написанні доказів), вказує, що поточний екземпляр змінної існує лише для сфери цієї логічної ідеї. У наступному прикладі x відразу ж отримує нову ідентичність після введення нової ідеї (зазвичай це поняття, необхідні для доказу основної ідеї) і повертається негайно до старого x після завершення поданого доказу. Звичайно, так само, як і в кодуванні, це вважається дещо заплутаним, тому зазвичай уникають, обираючи іншу назву для іншої змінної.

Нехай х так і так ...

  Доказовий матеріал

 Нова ідея {Нехай x буде щось інше ... доведіть щось} Висновок Нова ідея

 Доведіть основну думку зі старим x

Він робить саме те, що varробить із різницею сфери. Тепер він не може прийняти ім'я, varоскільки це вже прийнято.

Так виглядає, що він прийняв наступне найкраще ім’я, яке має семантичний характер у цікавій англійській мовній конструкції.

let myPet = 'dog';

Англійською мовою написано "Нехай мій вихованець буде собакою"

Найімовірніша можливість полягає в тому, що це був самий ідіоматичний вибір. Не тільки легко говорити, але й досить інтуїтивно зрозуміти. Дехто міг би сперечатися, тим більше, ніж var.

Але я вважаю, що тут є трохи більше історії.

З Вікіпедії :

Мова LCF Дани Скотта була етапом еволюції обчислення лямбда в сучасні функціональні мови. Ця мова запровадила вираз let, який з'явився в більшості функціональних мов з того часу.

Загальнодержавні імперативні мови, такі як ALGOL і Pascal, по суті, реалізують дозвільний вираз, реалізують обмежений спектр функцій у блокових структурах.

Я хотів би повірити, що це також було натхненням для letJavascript.

Нехай використовує більш безпосередній обмежений рівень на рівні блоку, тоді як var - це сфера функцій або загальна область застосування.

Здається, було вибрано найімовірніше, оскільки воно існує в багатьох інших мовах для визначення змінних, таких як BASIC та багатьох інших.

Я думаю, заборгованість JavaScript перед Схемою тут очевидна. Схема не тільки дозволила, але і дозволила *, нехай * -значить, синтаксис і нехай-значення. (Див., Мова програмування схеми, 4-е видання).

(Вибір додає додаткової довіри до того, що JavaScript є Lispy, але - перш ніж ми захопимось - не гомоніконічні.))))

Це також може означати що - щось на зразок «лексичного типу або Зв'язали навколишнього середовища» .. Це турбує мене , що було б просто «нехай це буде що ». І нехай запис не має сенсу в обчисленні лямбда.