let 命名出处

let 功能是让申明的变量遵循“块级作用域”。

根据查证，了解到，let是英文公式化推理证明的一种声明习惯，表示当前声明的变量仅在当前逻辑域中有效，类似于中文数学中的“当”、“设”，尽在当前问题中有效。
举例：“当(let)x,y∈Z,且 x = y时，有f(2x) = f(y)。”
因此，JS引入let作为声明遵循块级作用域的变量的关键词。

参考：
https://blog.csdn.net/qq_36145914/article/details/88552530