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