红外:面向JavaScript的快速可配置推断静态类型检查器 源码

红外线 针对JavaScript的快速,轻量级,推断静态类型检查器。 红外线是JavaScript的可配置且高效的静态类型检查器。 这是通过在整个程序上静态推断–跟踪变量的类型随其变化–并在运行时发生类型错误之前引起的。 什么是流体类型系统? 可变类型系统绝不是外国的想法,它是一组宽容的键入规则,这些规则会随着程序的更改而改变。 这意味着不会将任何变量提交给单个类型–如果该变量在程序中的某个位置更改了其类型,则红外线会对其进行跟踪。 JavaScript是一种动态语言,Infrared不想更改它。 虽然其他类型的系统希望您更改编程方式(并将JavaScript更改为其他内容),但Inf