前端简史：你不知道的 ES4

不知道大家有没有注意到，在我们应用构建的过程中，都有目标 ES 版本这个选项，通常可以选择 ES3、ES5、ES6 甚至最新的 ES10，但是却没有 ES4 这个版本，这是怎么回事呢？

ES4 简史
通过维基百科其实可以查到，ES4 在 1999 年 2 月就已经开始起草，并且计划在 2008 年 8 月完成。但是发展过程其实并不顺利，ES4 提出了很多惊为天人的新特性，比如：类、严格类型、模块等，大有一副改革 JavaScript 之势，对于当时的 JS 生态来说，兼容成本变得非常之高。

由于过于激进，各浏览器厂商发生了严重分歧，以 Yahoo、Microsoft、Google 为首的大公司，反对 JavaScript 的大幅升级，主张小幅改动；以 JavaScript 创造者 Brendan Eich 为首的 Mozilla 公司，则坚持当前的草案。

在 2008 年 7 月 ES4 发布前，ECMA 临时开会决定，中止 ES4 的开发，废除该版本。并且将其中涉及现有功能改善的一小部分，发布为 ES3.1（后改名为 ES5），而将其他激进想法放入以后的版本（ES.NEXT），由于会议的气氛，该版本的项目代号起名为 Harmony（和谐）。

ES4 草案中有什么
Classes（类）
类最终是在 ES6 中被实现的，但其实在最早的 ES4 草案中，就有了类的定义：

class Bar {
  var val = 1
  const pi = 3.14
  // A function
  function f(n) {
    return n + val * 2
  }
  // Getters and setters
  function set foo(n) {
    val = n
  }
  function get foo() {
    return val
  }
}

可以发现 ES4 的语法和 ES6 中类的语法有着细微差别，另一个令人惊讶的地方就是没有 this 。

ES4 还为类提供了以下关键字:

static
final
private、protected、public
prototype
Interfaces （接口）
ES4 中引入了接口的概念，跟我们今天使用的 Typescript 很像：

interface MyInterface {
  function foo();
}

Strict typing（严格类型）
ES4 中引入了严格类型检查：

function add(a: int, b:int): int {
  return a + b;
}

它还有类似于 Typescript 的联合类型:

// typescript
var a: number | string;
// es4
var a: (number, string)

ES4 还具有泛型：

class Wrapper<T> {
  inner: T
}

Like 关键词
默认情况下，ES4 中的类型必须是精确类型，但是使用 like 关键字，您可以减少限制：

function getCell(coords: like { x: int, y: int }) {
}

所以有一种可能， ES4 中类型是基于名义子类型，而不是结构子类型。

名义子类型：在其中只有类型声明的名字相同才算是相同类型，子类型关系必须被显式声明。C、Java 等语言均属于这类。
结构子类型：在其中两种类型的结构组成决定了一种类型是否是另一种类型的子类型。Typescript 属于此类
New types（新的类型）
在现在的 ES 版本中，我们已经有了 boolean，objetc，array，number，BigInt 等多种基本类型，但是 ES4 草案中还计划引入：

byte 字节类型
int 整型
unit 无符号整型
double 双精度浮点型
decimal 精确数值型
但是在现如今的 ES 发展计划中，只有 decimal 类型或许在将来会被实现，最终看起来可能会是这个样子：

const allowance = 1.50m
其实 m 这个后缀在 ES4 中也存在，用来表示价格。

triple-quoted strings （三引号字符串）
// ES4
const hi = """Hello my name is"Evert"""";
// ES6
const hi = `Hello my name is "Evert"`;

是不是有 python 内味了。当然在 ES6 中引入了新的模板字符串，看起来会更好一点。

Packages（包）
包有点像我们现在的模块，可以在其他文件导入，但是与 ES6 模块不同，包的命令空间更像是一个全局的命名空间，有点像 java。

package com.evertpot {
  // Private
  internal const foo = 5;
  class MyClass { 
  }
}

按以下方式使用此类：

const myObj = com.evertpot.MyClass;
// 或者
import * from com.evertpot;
const myObj = MyClass;

Generic functions（泛型函数）
使用 generic 关键词申明一个泛型函数，有点类似于 Typescript 中的“重载函数”，但并不完全相同：

class Foo {
  generic function addItem(x);
  function addItem(x: int) {
  }
  function addItem(x: number) {
  }
}

ES4 函数重载更强大的地方在于：重载是在运行时的，而 Typescript 是在编译时。

E4X
E4X 全名为 ECMAScript for XML，下面是一段 E4X 代码：

const myClass = 'welcome';
const name = 'Evert';
const foo = <div class={myClass}>{"Hello" + name }</div>;

看起来是不是很熟悉？我怀疑 JSX 就是借鉴的 E4X 😆。虽然 ES4 从未发布，但 E4X 曾经在 Firefox 中是可以工作的，直到在 Firefox 10 中才被删除。

More features（更多特性）
除了上述介绍的，其实 ES4 中还有很多其他特性，比如：let const 块级作用域，generator yield 异步方案等等。

后记
其实在现在看来，ES4 中的很多概念都是很激进的，对于当时的 JS 生态（IE5 时代）来说，用 “颠覆” 一词来形容也不为过，其中也有很多激进的特性留了下来，最终在 ES6 中被实现。纵观这段历史，如果当时 ES4 被实现了，现在的 JS 生态可能是一番不一样的景象。