为 JavaScript 增加可选静态类型的超集语言,编译输出可读的标准 JavaScript。
11.2万+113 本周1.5万GoApache-2.0更新于 19小时前
Python 静态类型检查器,基于类型提示在不运行代码的情况下发现类型错误。
Mypy 是一个面向 Python 的静态类型检查器。你为代码添加类型提示(PEP 484),mypy 会报告值或函数被以不兼容类型使用的位置,在程序运行前发现许多错误。
类型检查支持渐进式采用:可以逐步为代码库添加注解,在不便使用静态类型的地方保留动态类型。类型提示不会改变程序的运行方式,被 mypy 标记错误的代码仍可用普通 Python 解释器执行。类型系统支持类型推断、泛型、可调用类型、元组与联合类型以及结构化子类型。
对于大型项目,mypy 提供 daemon 模式(dmypy),可实现快速的增量检查。它可集成到 VS Code、Vim、Emacs、Sublime Text 等编辑器,也可用于 pre-commit 钩子。mypy 本身使用 mypyc 编译以提升速度。
使用 pip 安装 mypy
python3 -m pip install -U mypy对程序进行类型检查
mypy PROGRAM概要由 AI 根据项目 README 生成;GitHub 数据每日更新。
为 JavaScript 增加可选静态类型的超集语言,编译输出可读的标准 JavaScript。
Python 运行时类型检查库,依据 PEP 484 类型注解校验函数参数、返回值和任意对象。
纯 Python 运行时类型检查器,依据 PEP 类型注解对函数、类和变量做校验,开销很低。
用 Rust 编写的快速 Python 类型检查器与语言服务器,提供代码导航、自动补全等 IDE 功能。
用 Rust 重写的 TypeScript 7 编译器与语言服务,可直接替换现有类型检查流程。