Pyre
E911257
Pyre is a static type checker for Python that provides fast, scalable analysis of type hints to catch type-related errors before runtime.
Statements (50)
| Predicate | Object |
|---|---|
| instanceOf |
open-source project
ⓘ
software tool ⓘ static type checker ⓘ |
| feature |
command-line interface
ⓘ
configuration via configuration file ⓘ fast type checking ⓘ incremental type checking ⓘ integration with continuous integration pipelines ⓘ scalable analysis of type hints ⓘ support for PEP 484 type hints ⓘ support for PEP 561 typed packages ⓘ support for Python type hints ⓘ support for VS Code integration ⓘ support for analyzing large Python codebases ⓘ support for background server process ⓘ support for callable types ⓘ support for checking attribute access ⓘ support for checking function parameter types ⓘ support for checking function return types ⓘ support for checking imports ⓘ support for checking variable annotations ⓘ support for custom configuration of strictness ⓘ support for daemon mode ⓘ support for editor integration ⓘ support for error codes ⓘ support for generics ⓘ support for gradual typing ⓘ support for ignoring specific errors ⓘ support for optional types ⓘ support for per-file configuration overrides ⓘ support for protocols and structural subtyping ⓘ support for strict None checking ⓘ support for strict type checking modes ⓘ support for suppressing specific errors via comments ⓘ support for type aliases ⓘ support for type checking of classes ⓘ support for type checking of functions ⓘ support for type checking of modules ⓘ support for type inference ⓘ support for type stubs ⓘ support for union types ⓘ |
| goal |
find bugs early in development
ⓘ
improve reliability of Python code ⓘ provide fast feedback on type errors ⓘ |
| programmingLanguage | Python ⓘ |
| purpose |
catch type-related errors before runtime
ⓘ
static type checking for Python ⓘ |
| softwareGenre |
static analysis tool
ⓘ
type checker ⓘ |
| supportsLanguage | Python ⓘ |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.