纯 Python 运行时类型检查器,依据 PEP 类型注解对函数、类和变量做校验,开销很低。
3512+3 本周94PythonMIT维护活跃更新于 昨天
面向 Python 的静态类型检查器,提供命令行工具和 Visual Studio Code 扩展,适用于大型代码库。
Pyright 是一款面向 Python 的静态类型检查器,无需运行代码即可分析源码,并依据 Python 类型标准报告类型错误。它注重性能,适合用于大型 Python 代码库。
它以命令行工具和 Visual Studio Code 扩展两种形式提供。项目还提供可在浏览器中试用的 Pyright Playground,以及每周一次的类型检查器对比基准测试和按版本记录的执行时间与峰值内存数据。
当操作系统临时目录不存在或不可写时(例如部分远程或服务器环境),可通过 PYRIGHT_TMPDIR 环境变量指定临时目录。
概要由 AI 根据项目 README 生成;GitHub 数据每日更新。
纯 Python 运行时类型检查器,依据 PEP 类型注解对函数、类和变量做校验,开销很低。
Python 运行时类型检查库,依据 PEP 484 类型注解校验函数参数、返回值和任意对象。
基于 Volar.js 的 Vue 语言工具集,提供编辑器语言服务、vue-tsc 类型检查等能力。
一个 pytest 插件,在运行测试时顺带用 mypy 对源文件做静态类型检查。
一款 PHP 静态分析工具,无需运行代码即可发现潜在错误。
无需标注即可从代码推断类型的 Ruby 静态分析工具,只报告确定性的 bug。