typed-data-structures:使用Flow的类型化JavaScript项目

数据结构-类型化的Javascript演示 使用Flow的类型化JavaScript项目的演示。 为什么 尽管JavaScript具有违反直觉的类型系统（ ），但这并不意味着不可能对其中编写的程序进行类型检查。 的确，人们发现类型强制和比较规则是困难且不合理的，这是因为他们倾向于根据自己熟悉的算术系统（例如整数或实数）进行推理。 用规则扩展JavaScript类型系统，使其不仅易于使用，而且听起来更加合理，这是等项目的目标。 Flow类型系统在上进行了描述。 是另一个示例，尽管它的类型系统在形式上较弱，但对开发同样有用。 该存储库的重点是键入使用普通JavaScript技术以及Flow批注实现的数据结构和算法。 它还侧重于测试。 类型检查器可以决定实现是否安全（例如，每个评估步骤仅对预期类型的​​值（类型健全性）进行操作），但不能确定实现是否实际上符合算法规范（除非类型检查器也恰好是