basedmypy
basedmypy copied to clipboard
KotlinIsland
Based Python static type checker with baseline, sane default settings and based typing features
Currently asymmetric properties are not supported by `mypy`. It `mypy` this is considered a bug with high priority ([issue](https://github.com/python/mypy/issues/3004)). `basemypy` decided to go this way further and assume that properties...
The current output can be really unhelpful when there are heaps of errors. By default you should get a breakdown of error code counts and errors per file.
```py from typing import TypeAlias, TypeVar T = TypeVar('T', bound=bool) ListBool: TypeAlias = list[T] # expression contains Any (has type "type[list[Any]]") ```
```py from basedtyping import Untyped type: Untyped a: type[int] # Type of variable becomes "Any (from unimported type)" due to an unfollowed import [no-any-unimported] ```
Scheduled job that detects release branches upstream then: 1. Creates a pr merging the base of said branch into `master` 2. Creates a release branch including the upstream release branch,...
It would be beneficial to users using IDE integration(but also makes the cli more readable) to have certain error show as warnings instead of error, this wouldn't have any functional...
```py from typing import Callable, TypeVar R = TypeVar("R") StrFn = TypeVar("StrFn", bound=Callable[[str], R]) def deco(fn: StrFn) -> StrFn: return fn @deco def foo(value: str): # error, incorrect ... @deco...
This would be useful when invoked from an IDE, not so much from the cli. - for a cli alternative see #93 What if it said "baseline" instead of "note"?...
https://github.com/KotlinIsland/basedmypy/pull/470#discussion_r1242932952
A very specific circular import can cause the reported error to be reported differently, and the error deduplicator is affected: 1. run on specific file `mypy test.py`: - expression contains...
Metadata
Owner
Metadata
Based Python static type checker with baseline, sane default settings and based typing features