Hegel高级静态类型检查器
Hegel 是 JavaScript 的类型检查器,具有可选的类型注释并防止运行时类型错误。
- 没有运行时类型错误。Hegel有一个强大的类型系统和健全性检查。这意味着他能发现任何可能在运行时抛出的类型错误。
- 可选的类型注释。Hegel 有一个高级类型推断,它使你能够删除类型注释。
- 输入错误。Hegel 有一种机制来推断和注释函数应该抛出哪些错误。
- 使用 d.ts 作为库定义。Hegel 没有用于库类型描述的自定义语言。使用许多现有
.d.ts
文件作为任何库的类型来源。 - 只有带有类型的 JavaScript。Hegel 只有类型语法,没有任何额外的硬语法糖。
评论
FlowJavaScript 静态类型检查
Flow是Facebook出品的一个用于JavaScript代码的静态类型检查工具。用于找出JavaScript代码中的类型错误。Flow采用OCaml语言开发。
FlowJavaScript 静态类型检查
0
SorbetRuby 类型检查器
Sorbet,一个快速且强大的Ruby类型检查器,大部分代码都是用Ruby编写的,为Ruby开发环境提供了类似IDE的特性,包括自动完成和跳转到定义等。包括内容核心静态类型检查器创建新的Sorbet项
SorbetRuby 类型检查器
0
PyrightPython 静态类型检查工具
Pyright是微软开发的一个Python代码类型检查工具。Pyright的速度是 mypy的5倍以上。Pyright使用TypeScript开发,无需Python环境支持。官方表示创建 Pyrigh
PyrightPython 静态类型检查工具
0
mypyPython 静态类型检查工具
mypy编程语言是一个处于实验阶段的Python类型检查工具,旨在结合动态类型和静态类型的优点,目标是提供一个令人印象深刻的、功能强大而且方便的Python,提供编译时的类型检查和高效地编译为原生代码
mypyPython 静态类型检查工具
0
typepyPython 变量类型检查器
typepy 是一个Python库,用于运行时的变量类型检查器/验证器/转换器。特征检查值的类型验证类型的值将值从一种类型转换为另一种类型Python类型和typepy类的对应关系如下:支持的类型Py
typepyPython 变量类型检查器
0