infrared

红外线的

JavaScript的快速，轻巧，推断的静态型检查器。

红外线是用于JavaScript的可配置且有效的静态型检查器。这是通过在整个程序上静态地推断出流体类型系统的方法来完成的 - 在变化时跟踪它们的类型 - 并在运行时发生之前会增加类型错误。

什么是流体类型系统？

流体类型的系统不是外国想法，它是一套宽恕的打字规则，随着程序的变化而改变。这意味着任何变量曾经没有任何变量 - 如果该变量在程序中的某个地方更改其类型，则红外线会跟踪它。

JavaScript是一种动态语言，红外线不想改变它。尽管其他类型的系统希望您更改编程方式（并将JavaScript更改为其他内容），而红外线则相反。

要了解红外线适合打字生态系统的方式，请考虑以下内容：

• 如果您正在寻找试图促进健全性的超级类型系统，则应使用流程。
• 如果您正在寻找鼓励不健全性的超级类型系统，则应使用Typescript。
• 如果您不想更改项目中的任何内容，但是仍然想知道程序中的事物类型 +在编译时具有某种类型的安全性，则应使用红外线。

计划，路线图以及未来的

红外线是一个非常大的项目，因此自然而然地，确保我们仔细计划以避免笨拙的事物是一个很好的主意。

我正在使用无花果来组织红外每个部分（解析器，编译器，服务器等）的不同部分和职责。随时跟随并检查到目前为止我已经绘制的内容。

不幸的是，无花果仅反映了开发路线图的最终部分。这意味着本文档中没有很多很酷的作品 - 例如打字规则，简化策略，离散证明等。

由于这些位写在物理笔记本上，因此我很难在线分享。好消息是，我计划一旦完成该项目，我打算写一份白皮书，所有很酷的东西都将包含在其中。

在此之前，我很乐意与任何有兴趣了解更多了解的人聊天 - 随时在Twitter上脱颖而出。

常问问题

问- 我可以使用这个吗？

A - 还没有。该项目仍在开发中，但预计很快就会发布Alpha（ ISH ）！

执照

该软件可以在MIT许可下免费使用。有关许可文本和版权信息，请参见此参考。