6 Dec
2020
6 Dec
'20
10:59 a.m.
On Sun, Dec 06, 2020 at 10:22:53AM -0000, redradist@gmail.com wrote:
It would be nice to have "Typed Python" mode that will look like this:
```bash #!/usr/bin/env bash
set -e python -m mypy $1 python $1 ```
What does that mean? Why is it a bash script?
It could be achieved by adding special flag like `-t` (typed)
What does "typed" mode do? Why would it be "nice"? If all you want is to run mypy, you can run mypy. Or any alternative type-checker, such as Pytype, Pyright, Pyre or Jedi: https://google.github.io/pytype/ https://github.com/Microsoft/pyright https://pyre-check.org/ https://pypi.org/project/jedi (Jedi does a lot more than just type checking.) -- Steve