JavaScript 是一种广泛使用的编程语言，它在早期版本中没有实现块级作用域（block scope），这是它与其他许多编程语言的一个显著区别。在 JavaScript 中，变量的作用域是由函数定义的，即使在块级结构比如循环或条件语句内部声明的变量，也是在函数作用域内，而不是仅在这些块级结构内部。这种设计导致了 JavaScript 作用域的一些特殊行为，比如变量提升（hoisting）和闭包（closures）等现象。
在传统的编程中，块级作用域指的是在代码块（例如 if 语句、for 循环等）中声明的变量只能在该代码块内部访问。块级作用域有助于限制变量的作用范围，从而减少全局命名空间的污染，增加代码的可读性和可维护性。然而，ECMAScript 5（ES5）标准的 JavaScript 并不支持这种作用域规则，直到 ES6（ECMAScript 2015）发布，JavaScript 才正式加入了块级作用域的特性，通过 let 和 const 关键字来声明块级作用域变量。
作用域的概念在 JavaScript 中分为全局作用域、函数作用域和 ES6 引入的块级作用域。全局作用域指的是在所有函数外部声明的变量，它们对整个程序都是可见的。函数作用域是指在函数内部声明的变量，它们只对函数本身可见，不会影响到外部作用域。在 ES5 及之前的版本中，没有任何构造（如 if 语句或 for 循环）能创建出新的作用域边界，这意味着在块级代码中声明的变量实际上是在外部作用域中，即使它们是用 var 关键字声明的。
以给定文件中的例子为例，我们可以看到即使变量 i 在 for 循环内部声明，它也会影响到外部作用域。在循环结束时，变量 i 的值为 10，因为在 for 循环结束之后，循环体内的函数仍然可以访问到 i，而此时 i 的值已经被更新为 10。这个现象导致了所谓的闭包效应，即函数可以记住并访问它们词法作用域中的变量，即使这些函数是在当前词法作用域之外执行的。
为了模拟块级作用域的效果，在 ES5 中，开发者通常会使用立即执行的函数表达式（Immediately Invoked Function Expression，IIFE）。通过 IIFE，开发者能够创建一个新的作用域，使得在该函数内部声明的变量不会泄露到全局作用域中，同时也能够在函数内部访问这些变量。
阮一峰在 ES6 入门中提到的“ES5 只有全局作用域和函数作用域，没有块级作用域”就是指出了在 ES5 及之前版本的 JavaScript 中的这一作用域限制。在 JavaScript 中，for 循环、if 语句等块级结构并没有产生自己的作用域。开发者如果想要创建一个封闭的作用域，通常会采用 IIFE 或者利用其他函数作用域来达到目的。
块级作用域的引入，让 JavaScript 的代码组织和变量管理更加接近其他编程语言的标准实践。let 和 const 的出现，使得开发者能够声明仅在块级作用域内有效的变量，有效地避免了变量泄露到外部作用域的问题，并且有利于提升代码的清晰度和可维护性。
JavaScript 中没有块级作用域的设计是出于早期语言设计的考虑，随着编程实践的发展和语言规范的演进，JavaScript 的作用域规则也在不断地完善。ES6 中引入的块级作用域特性，为 JavaScript 开发者提供了更加强大和灵活的作用域控制能力，有助于编写出更加健壮和易于维护的代码。
