4 ms·
(For those living in the python + typing world, I'd definitely recommend trying Microsoft's pyright as an alternative to mypy. In my experience, it is substanti
by davepeck 6y ago
(For those living in the python + typing world, I'd definitely recommend trying Microsoft's pyright as an alternative to mypy. In my experience, it is substantially faster and produces higher quality error messages. It does not support mypy plugins, so -- for instance -- Django ORM dynamism isn't well captured. But I've found that the Django plugin for mypy is still pretty young; when used on a big codebase, it both slows down type checking considerably and regularly produces spurious errors.
Random: as someone who makes heavy use of both Python and Typescript, it pleases me to no end to see a great parser and ast for python implemented in typescript.)
- jdfellow 6y agoI've been using pyright for a couple of weeks because other LSP backends for Emacs weren't working well and only pyright seems to have any future. I am quite happy with its fast and effective type checking and it's not very hard to make it happy unlike mypy.
- girvo 6y agoTypeScript will eat the world one day, and honestly I don’t mind at all. Such a surprisingly powerful system, while being simple enough to throw juniors in the deep end with. My personal website is being rebuilt on Deno at the moment! Writing type level operators is a lot of fun haha