Comparing version 1.0.5 to 1.0.6
@@ -5,3 +5,3 @@ { | ||
"description": "Type checker for the Python language", | ||
"version": "1.0.5", | ||
"version": "1.0.6", | ||
"license": "MIT", | ||
@@ -8,0 +8,0 @@ "author": { |
![Pyright](/docs/img/PyrightLarge.png) | ||
# Static type checker for the Python language | ||
# Static type checker for Python | ||
Pyright was created to address gaps in existing Python type checkers like [mypy](http://mypy-lang.org). | ||
### Speed | ||
Pyright is typically 5x or more faster than mypy and other type checkers that are written in Python. It is meant for large Python source bases. It can run in a “watch” mode and performs fast incremental updates when files are modified. | ||
Pyright is a fast type checker meant for large Python source bases. It can run in a “watch” mode and performs fast incremental updates when files are modified. | ||
### No Dependency on Python Environment | ||
Pyright is written in TypeScript and runs within node. It does not require a Python environment or imported third-party packages to be installed. This is especially useful when used with the VS Code editor, which uses node as its extension runtime. | ||
Pyright does not require a Python environment or imported third-party packages to be installed. | ||
@@ -30,10 +29,4 @@ ### Configurability | ||
### Language Service Features | ||
Pyright offers the following language service features: | ||
* Hover tool tips that display type information | ||
* Links to symbol definitions | ||
* Smart priority queuing for interactive feedback during editing | ||
## Documentation | ||
@@ -67,3 +60,3 @@ * [Command-line Options](/docs/command-line.md) | ||
The latest verison of the command-line tool can be installed with npm: | ||
The latest version of the command-line tool can be installed with npm: | ||
`npm i pyright` | ||
@@ -94,6 +87,3 @@ | ||
* Add enforcement of TypeVar constraints | ||
* Type inference for generators and async functions | ||
* Add support for inference of subclass type vars based on method parameter types declared in subclass | ||
* Validate consistency of subclass type vars across all declared methods | ||
* Report errors for non-quoted forward references of types | ||
@@ -103,9 +93,9 @@ * Support for old-style type annotations within comments | ||
* Better handling of function decorators (don't punt on type checking) | ||
* Add lots of tests | ||
* Add support for type completion in VS Code extension | ||
* Special-casing @abstract methods so they don't need to return the specified type | ||
* Validate that all @abstractmethod are overridden | ||
* Add more tests for type checker | ||
* Validate that all abstract methods are overridden | ||
* Validate parameters for magic functions | ||
* Validate that overridden methods in subclass have same signature as base class methods | ||
* Verify that exception classes inherit from base Exception | ||
* Add support for inference of subclass type vars based on method parameter types declared in subclass | ||
* Validate consistency of subclass type vars across all declared methods | ||
* Validate await / async consistency | ||
@@ -112,0 +102,0 @@ * Flag assignments to read-only values (None, True, False, __debug__) as errors |
Sorry, the diff of this file is too big to display
2204296
2750
117