JavaScriptのブロックスコープの変数宣言に「let」という名前が選ばれたのはなぜですか？

なぜvarその名前をとるのか理解します-それは変数ですconst-それは定数ですが、の名前の背後にある意味は何letですか？現在のブロックにスコープしますか？なるがままに？

Letは、SchemeやBasicなどの初期のプログラミング言語で採用された数学ステートメントです。変数は高レベルの抽象化には適さない低レベルのエンティティと見なされます。したがって、Clojure、F＃、Scalaのようなlet、値または割り当て可能な変数を意味する可能性がある同様のより強力な概念を導入したいという多くの言語設計者の要望は、ただし、変更されていません。これにより、コンパイラはより多くのプログラミングエラーをキャッチし、コードをより最適化できます。

JavaScriptはvar最初から存在していたため、別のキーワードが必要であり、JavaScript は代わりにブロックスコープのローカル変数を作成しますが、できるだけ多くletの従来のキーワードとして既に使用されている他の何十もの言語から借用しました。varlet

私はそれが数学的伝統に従っていると思います。数学では、「xを任意の実数にしよう」などとよく言われます。

追加exebookの応答、キーワードの数学の使用量は、聞かせても十分のスコーピングの影響カプセル化letJavascriptを/ ES6で使用する場合に。具体的には、次のES6コードがの値を出力するtoPrint ときの括弧内の割り当てを認識しないのと'Hello World'同様に、

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

公式化された数学（特に証明の記述）で使用されているletは、変数の現在のインスタンスがその論理的アイデアの範囲にのみ存在することを示します。次の例では、xは新しいアイデアを入力するとすぐに新しいIDを取得し（通常、これらはメインのアイデアを証明するために必要な概念です）、副証明が完了するとすぐに古いxに戻ります。もちろん、コーディングの場合と同様に、これはやや混乱を招くと考えられているため、通常、他の変数に別の名前を選択することで回避できます。

xがそうであるように...

  証明のもの

 新しいアイデア{xを別のものにする...何かを証明する}新しいアイデアをまとめる

 古いxで主なアイデアを証明する

これはvar、スコープの違いで正確に実行します。名前varは既に取得されているため、取得できません。

それで、興味深い英語の構成に意味を持つ次善の名前を取っているようです。

let myPet = 'dog';

英語では「ペットを犬にしよう」と書かれています

最も可能性が高いのは、それが最も慣用的な選択だったということです。話しやすいだけでなく、直感的に理解できます。何人かは、それ以上に主張することができvarます。

しかし、これにはもう少し歴史があると思います。

ウィキペディアから：

ダナ・スコットのLCF言語は、ラムダ計算を現代の関数型言語に進化させる段階でした。この言語は、それ以来、ほとんどの関数型言語で出現しているlet式を導入しました。

ALGOLやPascalなどのステートフルな命令型言語は、ブロック構造で関数の制限されたスコープを実装するために、基本的にlet式を実装しています。

これはletJavascriptのインスピレーションでもあったと思います。

通常はvarが関数スコープまたはグローバルスコープであるのに対して、より即時のブロックレベル限定スコープを使用します。

letが選ばれた可能性が最も高いのは、BASICなど、他の多くの言語で変数を定義するために使用されているためです。

JavaScriptのSchemeに対する負債はここで明白だと思います。Schemeにはletだけでなく、let *、let * -values、let-syntax、let-valuesもあります。（Schemeプログラミング言語、第4版を参照）。

（（この選択は、JavaScriptがLispyであるという概念にさらなる信憑性を追加します。

それは可能性も、「タイド字句環境タイプか」のような平均何かが...それは単に「聞かせてであろうと、私を悩ますこの BEをすることを」。そして、recがラムダ計算で意味をなさないようにします。