3 ms·
> So you get the joy of programming like in Python/Js, being able to test very quickly your code Ironically the canonical Python type checker, code formatter,
by throwaway894345 5y ago
> So you get the joy of programming like in Python/Js, being able to test very quickly your code
Ironically the canonical Python type checker, code formatter, etc take ages to run on even small code bases.
- bobbylarrybobby 5y agoI think a lot of that is that Python doesn't launch a server that handles code analysis/formatting requests, so every time you want to do another round of things-to-do-on-save, they all have to do be done more or less from scratch (some info can be cached between runs, but if you're launching a Python process that's like 100ms right there...). I imagine if there were a Python code server that handled formatting and type checking without ever shutting down, it would be quite speedy.
- bombela 5y agoI have some sort of python language server running with neovim to highlight type errors. This is definitively not fast to add errors. But being asynchronous it's palatable.
- MapleWalnut 5y agoMypy provides a server to help with this called dmypy: https://mypy.readthedocs.io/en/stable/mypy_daemon.html https://mypy.readthedocs.io/en/stable/mypy_daemon.html
- wbobeirne 5y agoCheck out https://github.com/microsoft/pyright https://github.com/microsoft/pyright, it's pretty snappy if you don't mind some JS in your ecosystem.