Tại sao tên 'let' được chọn cho khai báo biến trong phạm vi khối trong JavaScript?

Tôi hiểu tại sao lại varlấy tên đó - nó là biến, const- nó là một hằng số, nhưng ý nghĩa đằng sau tên letđó là gì, phạm vi của khối hiện tại là gì? Để cho nó được?

Let là một tuyên bố toán học đã được thông qua bởi các ngôn ngữ lập trình ban đầu như Scheme và Basic. Các biến được coi là các thực thể cấp thấp không phù hợp với mức độ trừu tượng cao hơn, do đó mong muốn của nhiều nhà thiết kế ngôn ngữ giới thiệu các khái niệm tương tự nhưng mạnh hơn như trong Clojure, F #, Scala, trong đó letcó thể có nghĩa là một giá trị hoặc một biến có thể được gán, nhưng không thay đổi , điều này cho phép trình biên dịch bắt được nhiều lỗi lập trình hơn và tối ưu hóa mã tốt hơn.

JavaScript đã có vartừ đầu, vì vậy họ chỉ cần một từ khóa khác và chỉ cần mượn từ hàng tá ngôn ngữ khác letđã sử dụng như một từ khóa truyền thống càng gần varcàng tốt, mặc dù trong JavaScript lettạo ra biến cục bộ phạm vi thay thế.

Tôi đoán nó theo truyền thống toán học. Trong toán học, người ta thường nói "hãy x là số thực tùy ý" hoặc như thế.

Thêm vào phản hồi của exebook , việc sử dụng toán học của từ khóa cũng cho phép gói gọn các hàm ý phạm vi letkhi được sử dụng trong Javascript / ES6. Cụ thể, giống như mã ES6 sau đây không biết về phép gán trong dấu ngoặc nhọn toPrint khi nó in ra giá trị của 'Hello World',

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

hãy để như được sử dụng trong toán học chính thức (đặc biệt là viết bằng chứng) chỉ ra rằng trường hợp hiện tại của một biến chỉ tồn tại cho phạm vi của ý tưởng logic đó. Trong ví dụ sau, x ngay lập tức nhận được một danh tính mới khi nhập ý tưởng mới (thường đây là những khái niệm cần thiết để chứng minh ý chính) và ngay lập tức trở lại x cũ khi kết thúc bằng chứng phụ. Tất nhiên, giống như trong mã hóa, điều này được coi là hơi khó hiểu và vì vậy thường được tránh bằng cách chọn một tên khác cho biến khác.

Đặt x là như vậy và ...

  Bằng chứng

 Ý tưởng mới {Hãy x là một cái gì đó khác ... chứng minh điều gì đó} Kết luận về ý tưởng mới

 Chứng minh ý chính với x cũ

Nó thực hiện chính xác những gì varlàm với một sự khác biệt phạm vi. Bây giờ nó không thể lấy tên varvì nó đã được thực hiện.

Vì vậy, có vẻ như nó đã lấy tên tốt nhất tiếp theo có ngữ nghĩa trong một cấu trúc ngôn ngữ tiếng Anh thú vị.

let myPet = 'dog';

Trong tiếng Anh có câu "Hãy để thú cưng của tôi là một con chó"

Khả năng cao nhất là nó là sự lựa chọn thành ngữ nhất. Không chỉ dễ nói, mà còn trực quan để hiểu. Một số có thể tranh luận, thậm chí nhiều hơn var.

Nhưng tôi nghĩ có thêm một chút lịch sử cho việc này.

Từ Wikipedia :

Ngôn ngữ LCF của Dana Scott là một giai đoạn trong quá trình phát triển tính toán lambda thành các ngôn ngữ chức năng hiện đại. Ngôn ngữ này đã giới thiệu biểu thức let, xuất hiện trong hầu hết các ngôn ngữ chức năng kể từ thời điểm đó.

Các ngôn ngữ mệnh lệnh đầy đủ trạng thái như ALGOL và Pascal về cơ bản thực hiện một biểu thức let, để thực hiện phạm vi hàm bị hạn chế, trong các cấu trúc khối.

Tôi cũng muốn tin rằng đây cũng là một nguồn cảm hứng cho letJavascript.

Hãy sử dụng phạm vi giới hạn mức khối ngay lập tức hơn trong khi var là phạm vi chức năng hoặc phạm vi toàn cầu thường.

Dường như let được chọn nhiều nhất vì nó được tìm thấy trong rất nhiều ngôn ngữ khác để định nghĩa các biến, chẳng hạn như BASIC và nhiều ngôn ngữ khác.

Tôi nghĩ rằng sự mắc nợ của JavaScript đối với Đề án là rõ ràng ở đây. Lược đồ không chỉ có let, mà còn let *, let * -values, let-Cú pháp và let-value. (Xem, Ngôn ngữ lập trình lược đồ, Ed 4).

((Sự lựa chọn làm tăng thêm sự tin cậy cho khái niệm rằng JavaScript là Lispy, nhưng - trước khi chúng ta bị mang đi - không phải là đồng âm.))))

Nó cũng có thể có nghĩa gì đó như "Loại môi trường từ điển hoặc bị trói" .. Điều đó làm phiền tôi rằng nó chỉ đơn giản là "hãy để nó như thế ". Và hãy để rec không có ý nghĩa trong tính toán lambda.