Mengapa nama 'mari' dipilih untuk deklarasi variabel blok-ruang dalam JavaScript?

Saya mengerti mengapa varmengambil nama itu - itu variabel, const- itu adalah konstan, tetapi apa artinya di belakang nama itu let, yang lingkupnya ke blok saat ini? Biarlah?

Biarkan adalah pernyataan matematis yang diadopsi oleh bahasa pemrograman awal seperti Skema dan Dasar. Variabel dianggap entitas tingkat rendah yang tidak cocok untuk tingkat abstraksi yang lebih tinggi, sehingga keinginan banyak perancang bahasa untuk memperkenalkan konsep serupa tetapi lebih kuat seperti di Clojure, F #, Scala, di mana letmungkin berarti nilai, atau variabel yang dapat ditugaskan, tetapi tidak diubah , yang pada gilirannya memungkinkan kompiler menangkap lebih banyak kesalahan pemrograman dan mengoptimalkan kode lebih baik.

JavaScript sudah ada varsejak awal, jadi mereka hanya perlu kata kunci lain, dan baru saja meminjam dari puluhan bahasa lain yang letsudah menggunakan kata kunci tradisional sedekat varmungkin, meskipun dalam JavaScript letmalah menciptakan ruang lingkup variabel lokal sebagai gantinya.

Saya kira ini mengikuti tradisi matematika. Dalam matematika, sering dikatakan "biarkan x menjadi bilangan real arbitrer" atau seperti itu.

Menambah respons exebook , penggunaan matematika dari kata kunci memungkinkan juga merangkum implikasi pelingkupan letketika digunakan dalam Javascript / ES6. Secara khusus, sama seperti kode ES6 berikut ini tidak mengetahui penugasan dalam kurung kurawal toPrint ketika mencetak nilai 'Hello World',

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

membiarkan seperti yang digunakan dalam matematika formal (terutama penulisan bukti) menunjukkan bahwa turunan variabel saat ini hanya ada untuk lingkup gagasan logis itu. Dalam contoh berikut, x segera memperoleh identitas baru setelah memasukkan ide baru (biasanya ini adalah konsep yang diperlukan untuk membuktikan ide utama) dan segera kembali ke yang lama pada kesimpulan sub-bukti. Tentu saja, seperti dalam pengkodean, ini dianggap agak membingungkan dan biasanya dihindari dengan memilih nama yang berbeda untuk variabel lain.

Biarkan x begitu dan begitu ...

  Barang bukti

 Ide Baru {Biarkan x menjadi sesuatu yang lain ... buktikan sesuatu} Akhiri Ide Baru

 Buktikan ide utama dengan x lama

Itu tidak persis apa yang vardilakukannya dengan perbedaan ruang lingkup. Sekarang tidak dapat mengambil nama varkarena sudah diambil.

Jadi sepertinya telah mengambil nama terbaik berikutnya yang memiliki semantik dalam konstruksi bahasa Inggris yang menarik.

let myPet = 'dog';

Dalam bahasa Inggris tertulis "Biarkan hewan peliharaan saya menjadi anjing"

Kemungkinan yang paling mungkin adalah bahwa itu adalah pilihan yang paling idiomatis. Tidak hanya mudah untuk berbicara, tetapi juga lebih intuitif untuk dipahami. Beberapa bisa berdebat, bahkan lebih dari itu var.

Tapi saya rasa ada sedikit lebih banyak sejarah untuk ini.

Dari Wikipedia :

Bahasa LCF Dana Scott adalah tahap dalam evolusi kalkulus lambda menjadi bahasa fungsional modern. Bahasa ini memperkenalkan ekspresi let, yang telah muncul di sebagian besar bahasa fungsional sejak saat itu.

Bahasa imperatif penuh negara seperti ALGOL dan Pascal pada dasarnya menerapkan ekspresi let, untuk mengimplementasikan lingkup fungsi terbatas, dalam struktur blok.

Saya ingin percaya ini adalah inspirasi juga, untuk letdi Javascript.

Biarkan menggunakan lingkup terbatas tingkat blok yang lebih langsung sedangkan var adalah lingkup fungsi atau lingkup global biasanya.

Tampaknya membiarkan dipilih karena kemungkinan besar ditemukan dalam begitu banyak bahasa lain untuk mendefinisikan variabel, seperti BASIC, dan banyak lainnya.

Saya pikir hutang JavaScript untuk Skema sudah jelas di sini. Skema tidak hanya memiliki let, tetapi memiliki let *, let * -values, let-syntax, dan let-values. (Lihat, Bahasa Pemrograman Skema, Edisi ke-4).

((Pilihan ini menambah kepercayaan lebih lanjut pada gagasan bahwa JavaScript adalah Lispy, tetapi - sebelum kita terbawa - bukan homoikonik.)))))

Bisa juga berarti sesuatu seperti "leksikal Lingkungan Jenis atau Terikat" .. itu mengganggu saya bahwa itu hanya akan "biarkan ini menjadi yang ". Dan biarkan rec tidak masuk akal dalam kalkulus lambda.