【文件属性】：
文件名称：红外：面向JavaScript的快速，可配置，推断静态类型检查器
文件大小：368KB
文件格式：ZIP
更新时间：2021-01-31 14:10:44
javascript cli fast productivity parser
红外线
针对JavaScript的快速，轻量级，推断静态类型检查器。
红外线是JavaScript的可配置且高效的静态类型检查器。 这是通过在整个程序上静态推断–跟踪变量的类型随其变化–并在运行时发生类型错误之前引起的。
什么是流体类型系统？
可变类型系统绝不是外国的想法，它是一组宽容的键入规则，这些规则会随着程序的更改而改变。 这意味着不会将任何变量提交给单个类型–如果该变量在程序中的某个位置更改了其类型，则红外线会对其进行跟踪。
JavaScript是一种动态语言，Infrared不想更改它。 虽然其他类型的系统希望您更改编程方式（并将JavaScript更改为其他内容），但Infrared却相反。
要了解红外线适合打字生态系统的方式，请考虑以下事项：
如果您正在寻找尝试提高声音强度的超集类型系统，则应使用 。
如果您正在寻找鼓励不健全的超集类型系统，则应使用 。
如果您不想更改项目中的任何内容，但仍想了解程序中的事物类型，并且在编译时具有某种类型安全性，则应使用Infrared。
规划，路线图以及未来的方向
红外是一个非常大的项目，因此自然地，确保我们仔细计划以避