basedmypy
basedmypy copied to clipboard
KotlinIsland
Based Python static type checker with baseline, sane default settings and based typing features
```py def f(a=1): pass f(x=1) # error def g(a: int = 1): pass # note: "g" defined here g(x=1) # error ```
```py def g(a=1): pass # type: ignore[no-untyped-def] g( )# type: ignore[no-untyped-call] ``` ``` đ mypy test.py test.py:3:1: note: Type is "def (a: int =) -> Untyped" Success: no issues found...
```py async def foo(): ... reveal_type(foo()) # typing.Coroutine[Any, Any, None] ``` I would expect `Coroutine[Never, Never, None]`.
``` __str__ returns str __repr__ returns str __len__ returns int __del__ returns None __bool__ returns bool __bytes__ returns bytes __format__ returns str __contains__ returns bool __complex__ returns complex __int__ returns...
Keep the json as is(it has more detail), but also gen one that looks like the cli output, this will be good for the humans among us(āļ).
I would like 2.0 to have: - #282 - #260 - #134 (at least some improvement) - #390 - #296
https://docs.gitlab.com/ee/ci/testing/code_quality.html#code-quality-widget
it's confusing when they are displayed in IDEs
I thought we were using English đ¤.
Metadata
Owner
Metadata
Based Python static type checker with baseline, sane default settings and based typing features