SorbetRuby 类型检查器
Sorbet，一个快速且强大的 Ruby 类型检查器，大部分代码都是用 Ruby 编写的，为 Ruby 开发环境提供了类似 IDE 的特性，包括自动完成和跳转到定义等。
包括内容
- 核心静态类型检查器
- 创建新的 Sorbet 项目的工具
- 在现有项目中逐步采用 Sorbet
- 用于编写类型注解的 DSL
- 用于共享 Ruby gems 类型定义的中央存储库
特点
- 快速且可伸缩
- 简单且强大
- 兼容 Ruby
- 以配合团队使用的循序渐进的设计
评论
typepyPython 变量类型检查器
typepy 是一个Python库，用于运行时的变量类型检查器/验证器/转换器。特征检查值的类型验证类型的值将值从一种类型转换为另一种类型Python类型和typepy类的对应关系如下：支持的类型Py
typepyPython 变量类型检查器
0
Hegel高级静态类型检查器
Hegel是JavaScript的类型检查器，具有可选的类型注释并防止运行时类型错误。没有运行时类型错误。Hegel有一个强大的类型系统和健全性检查。这意味着他能发现任何可能在运行时抛出的类型错误。可
Hegel高级静态类型检查器
0
is WhatJS 类型检查工具
isWhat是一个非常简单且小巧的JS类型检查功能，它同样完全支持TypeScriptnpmiis-what用法is-what很容易使用，并且大多数功能都可以像你所期望的那样工作。//importfu
is WhatJS 类型检查工具
0
PyrePython 类型检查工具
Pyre是一个快速、可扩展和高性能的Python类型检查工具，适用于大型的 Python3代码库，旨在通过在终端或编辑器中以交互方式标记类型错误来帮助提高代码质量和开发速度。Pyre随附了Pysa，这
PyrePython 类型检查工具
0