强类型 JavaScript 的解决方案

上面代码中，变量x起先是一个数值，后来是一个字符串，类型完全由当前的值决定，这就叫弱类型。

弱类型的好处是十分灵活，可以写出非常简洁的代码。但是，对于大型项目来说，强类型更有利，可以降低系统的复杂度，在编译时就发现类型错误，减轻程序员的负担。

（题图：摄于花莲，台湾，2012年6月）

首先，安装typescript。

然后，为变量指定类型。

上面是文件 greet.ts 的代码，后缀名 ts 表明这是 typescript 的代码。函数 greet 的参数，声明类型为字符串，但在调用时，传入了一个数组。

使用 tsc 命令将 ts 文件编译为 js 文件，就会抛出类型不匹配的错误。

首先，安装flowcheck。

然后，编写一个声明了变量类型的脚本。

接着，使用下面的命令，将脚本转换为正常的 javascript 文件。

转换后的文件如下。

可以看到，代码中插入一个断言库。每次运行函数之前，会先执行断言，如果类型不符就报错。

安装命令如下。

flow 的用法很多，我只举几个例子。前文介绍的两种工具，只能检查声明了类型的变量，而 flow 可以推断变量类型。

上面是文件 hello.js ，该文件的第一行是注释，表明需要使用 flow 检查变量类型。

运行 flow check 命令，得到报错信息：预期函数 foo 的参数是一个数值，但是实际为一个字符串。

flow 也支持变量的类型声明。

另一个有趣的功能是，flow 可以将类型注释（annotation），转为类型声明。

运行 flow port 命令，会得到下面的结果。