4 ms·
Is it going to be like mypy or pyright? Will it include an LSP server? Pyright seems more focused on the LSP server side and doesn't seem as complete as mypy as
by globular-toast 2y ago
Is it going to be like mypy or pyright? Will it include an LSP server? Pyright seems more focused on the LSP server side and doesn't seem as complete as mypy as a type checker.
- dcreager 2y agoThe aim is to support both incremental ongoing type checking via something like an LSP server, and also batch type checking for use in e.g. CI. > The entire system is designed to be highly incremental so that it can eventually power a language server (e.g., only re-analyze affected files on code change). https://bsky.app/profile/crmarsh.com/post/3lgvhzeawuc26 https://bsky.app/profile/crmarsh.com/post/3lgvhzeawuc26