Dlaczego nazwa „let” została wybrana dla deklaracji zmiennych o zasięgu blokowym w JavaScript?

Rozumiem, dlaczego varbierze tę nazwę - jest zmienna const- jest stała, ale jakie jest znaczenie nazwy let, która dotyczy bieżącego bloku? Niech będzie?

Niech jest wyrażeniem matematycznym przyjętym przez języki programowania wczesnego, takie jak Scheme i Basic. Zmienne są uważane za jednostki niskiego poziomu, które nie są odpowiednie dla wyższych poziomów abstrakcji, dlatego pragnienie wielu projektantów języków do wprowadzenia podobnych, ale potężniejszych pojęć, takich jak Clojure, F #, Scala, gdzie letmoże to oznaczać wartość lub zmienną, którą można przypisać, ale bez zmian , co z kolei pozwala kompilatorowi wychwycić więcej błędów programistycznych i lepiej zoptymalizować kod.

JavaScript miał varod samego początku, więc potrzebowali tylko innego słowa kluczowego i właśnie zapożyczyli go z dziesiątek innych języków, które używają letjuż tradycyjnego słowa kluczowego tak blisko, varjak to możliwe, chociaż w JavaScript lettworzy zamiast tego zmienną lokalną o zasięgu blokowym.

Myślę, że wynika to z tradycji matematycznej. W matematyce często mówi się „niech x będzie dowolną liczbą rzeczywistą” lub tym podobne.

Dodając do odpowiedzi exebook , użycie słowa kluczowego w matematyce pozwala również dobrze ujmować implikacje określające zakres, letgdy jest używane w Javascript / ES6. W szczególności, podobnie jak poniższy kod ES6 nie jest świadomy przypisania w nawiasach, toPrint kiedy wypisuje wartość 'Hello World',

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

Niech użyte w sformalizowanej matematyce (zwłaszcza pisaniu dowodów) wskazuje, że bieżąca instancja zmiennej istnieje tylko dla zakresu tej logicznej idei. W poniższym przykładzie x natychmiast zyskuje nową tożsamość po wejściu do nowej idei (zwykle są to koncepcje niezbędne do udowodnienia głównej idei) i wraca natychmiast do starej x po zakończeniu pod-dowodu. Oczywiście, podobnie jak w przypadku kodowania, jest to uważane za nieco mylące i dlatego zwykle można tego uniknąć, wybierając inną nazwę dla innej zmiennej.

Niech x będzie takie a takie ...

  Dowody

 Nowy pomysł {Niech x będzie czymś innym ... udowodnij coś} Zawrzyj nowy pomysł

 Udowodnij główny pomysł starym X

Robi dokładnie to, co varrobi z różnicą zakresu. Teraz nie może przyjąć nazwy, varponieważ jest już zajęta.

Wygląda więc na to, że przyjął kolejną najlepszą nazwę, która ma semantyczną postać w interesującym języku angielskim.

let myPet = 'dog';

W języku angielskim napisane jest „Niech moje zwierzę będzie psem”

Najbardziej prawdopodobne jest to, że był to najbardziej idiotyczny wybór. Łatwo jest mówić, ale intuicyjnie go zrozumieć. Niektórzy mogą się kłócić, nawet bardziej niż var.

Ale sądzę, że jest w tym trochę więcej historii.

Z Wikipedii :

Język LCF Dany Scott był etapem ewolucji rachunku lambda na nowoczesne języki funkcjonalne. Ten język wprowadził wyrażenie let, które pojawiło się w większości języków funkcjonalnych od tego czasu.

Pełne stanowe języki imperatywne, takie jak ALGOL i Pascal, zasadniczo implementują wyrażenie let, aby zaimplementować ograniczony zakres funkcji w strukturach blokowych.

Chciałbym wierzyć, że to też była inspiracja dla letJavascript.

Let używa bardziej bezpośredniego zakresu ograniczonego na poziomie bloku, podczas gdy var jest zwykle zasięgiem funkcji lub zasięgiem globalnym.

Wygląda na to, że najprawdopodobniej został wybrany, ponieważ w wielu innych językach można zdefiniować zmienne, takie jak BASIC i wiele innych.

Myślę, że zadłużenie JavaScript w Scheme jest tutaj oczywiste. Schemat nie tylko pozwolił, ale pozwolił *, let * -wartości, let-składnia i let-wartości. (Patrz, The Scheme Programming Language, 4th Ed.).

((Wybór dodaje jeszcze większej wiarygodności do pojęcia, że ​​JavaScript to Lispy, ale - zanim nas porwie - nie homoiconic.)))

To może również oznaczać coś jak „Lexical typ środowiska lub Tied” .. to denerwuje mnie, że to po prostu być „niech to będzie , że ”. I niech rec nie ma sensu w rachunku lambda.