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

时间:2024-05-20 22:21:15
【文件属性】:

文件名称:typed-data-structures:使用Flow的类型化JavaScript项目

文件大小:64KB

文件格式:ZIP

更新时间:2024-05-20 22:21:15

javascript testing flow demo jest

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


【文件预览】:
typed-data-structures-master
----.gitignore(32B)
----.babelrc(27B)
----.flowconfig(136B)
----.eslintrc(7KB)
----package.json(762B)
----package-lock.json(203KB)
----LICENSE(1KB)
----README.md(3KB)
----lib()
--------linked-list.js(5KB)
--------binary-search-tree.spec.js(5KB)
--------vector.flowcheck.js(454B)
--------linked-list.spec.js(4KB)
--------queue.spec.js(2KB)
--------helpers.js(253B)
--------hashmap.flowcheck.js(721B)
--------vector.spec.js(3KB)
--------hashmap.spec.js(1KB)
--------queue.js(735B)
--------queue.flowcheck.js(380B)
--------hashmap.js(3KB)
--------predicates.js(247B)
--------priority-queue.spec.js(692B)
--------priority-queue.js(954B)
--------priority-queue.flowcheck.js(430B)
--------binary-search-tree.flowcheck.js(697B)
--------linked-list.flowcheck.js(2KB)
--------binary-search-tree.js(5KB)
--------vector.js(4KB)

网友评论