js静态类型检查

 js静态类型检查

js是动态类型语言

静态类型语言 & 动态类型语言

静态类型语言：类型检查发生在编译阶段，因此除非修复错误，否则会一直编译失败

动态类型语言：只有在程序运行了一次的时候错误才会被发现，也就是在运行时，因此即使代码中包含了会 在运行时阻止脚本正常运行的错误类型，这段代码也可以通过编译

js静态类型检查的方法

Flow是Facebook开发和发布的一个开源的静态类型检查库，它允许你逐渐地向JavaScript代码中添加类型。

TypeScript是一个会编译为JavaScript的超集（尽管它看起来几乎像一种新的静态类型语言）

使用静态类型的优势

• 可以尽早发现bug和错误
• 减少了复杂的错误处理
• 将数据和行为分离
• 减少单元测试的数量
• 提供了领域建模（domain modeling）工具
• 帮助我们消除了一整类bug
• 重构时更有信心

使用静态类型的劣势

• 代码冗长
• 需要花时间去掌握类型