Statements (34)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
static type checker |
| gptkbp:author |
gptkb:Jukka_Lehtosalo
|
| gptkbp:category |
static analysis tool
Python development tool |
| gptkbp:compatibleWith |
gptkb:Python_3
gptkb:PEP_484 |
| gptkbp:contributedTo |
gptkb:Guido_van_Rossum
gptkb:Michael_J._Sullivan Ivan Levkivskyi |
| gptkbp:feature |
gptkb:graphical_user_interface
type inference plugin support error reporting gradual typing integration with IDEs |
| gptkbp:firstReleased |
2012
|
| https://www.w3.org/2000/01/rdf-schema#label |
MyPy
|
| gptkbp:latestReleaseVersion |
2024-01-10
1.8.0 |
| gptkbp:license |
gptkb:MIT_License
|
| gptkbp:programmingLanguage |
gptkb:Python
|
| gptkbp:relatedTo |
gptkb:TypeScript
gptkb:Pyre gptkb:Pyright gptkb:Pylint Python typing module |
| gptkbp:repository |
https://github.com/python/mypy
|
| gptkbp:supportedBy |
gptkb:JetBrains
|
| gptkbp:usedFor |
static analysis
type checking |
| gptkbp:website |
http://mypy-lang.org/
|
| gptkbp:bfsParent |
gptkb:SARIF
|
| gptkbp:bfsLayer |
7
|