Hacker News new | past | comments | ask | show | jobs | submit login

It's not clear to me that they are building an alternate type checker per se

Seems like `ruff server` is an LSP?




Yes but only for linting (the flake8 rules etc). The end goal is to have proper type checking and, I think, proper LSP refactoring capabilities.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: