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