3 ms·
The 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 sy
by dcreager 2y ago
The 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