]> git.ipfire.org Git - thirdparty/knot-resolver.git/commitdiff
README.md: correction of claims about type checkers
authorVasek Sraier <git@vakabus.cz>
Sun, 7 Feb 2021 00:06:18 +0000 (01:06 +0100)
committerAleš Mrázek <ales.mrazek@nic.cz>
Fri, 8 Apr 2022 14:17:51 +0000 (16:17 +0200)
manager/README.md

index 4d3b7d3f600ef691eab2b761343243c3e83b8a2e..b7234d66dc117f2d5f8207f20794a8039b150839 100644 (file)
@@ -76,9 +76,9 @@ Short answer - mainly for managing other dependencies. By using dependency manag
 
 We would like to use a type checker. As of writing this, there are 4 possible options:
 
-* [mypy](http://mypy-lang.org/) - oldest, slowest, reports correct code as broken, no advanced features, written in Python, works
+* [mypy](http://mypy-lang.org/) - oldest, reports correct code as broken, no advanced features, written in Python, works
 * [pytype](https://github.com/google/pytype) - supports type inference, written in Python, does not work in Python 3.9, Python versions > 3.7 are not yet supported
 * [pyre](https://pyre-check.org/) - supports type inference, contains security focused static analysis tool, written in Python, does not work in Python 3.6
-* [pyright](https://github.com/Microsoft/pyright) - not that advanced as pyre and pytype, written in TypeScript, faster than mypy, great integration with VSCode, works regardless of current Python version
+* [pyright](https://github.com/Microsoft/pyright) - not that advanced as pyre and pytype, reports correct code as broken, basic type inference when no typehints are provided, written in TypeScript, great integration with VSCode, works regardless of current Python version
 
 ... and that's how we ended up with JS in a Python project.
\ No newline at end of file