Incremental type checking

[aabounegm]

Any language server should be able to handle partially written programs to display feedback as the program is being written rather than once at the end. That involves parsing errors that should be handled gracefully and being able to update the type checking result based on incremental changes to the source code instead of type-checking the whole module from scratch on every keystroke (if I understand it correctly).

These resource might be useful (I didn't check in details yet):

• A logical framework for incremental type-checking (Slides)
• Incremental type-checking for free: using scope graphs to derive incremental type-checkers (Paper - 2022)
• A systematic approach to deriving incremental type checkers (Paper - 2020)
  • Video presentation of the paper above (YouTube)
• Incremental Type-Checking for Type-Reflective Metaprograms (Paper - 2010)
• How would you design a compiler upfront to be both a compiler and a LSP server? (StackExchange)

[fizruk]

Closing since it is handled (partially for now) in the Rzk itself.