I THINK SO TOO! I'm 97% sure that just using static analysis to provide all the relevant type definitions and function signatures as context for code completio

I THINK SO TOO! I'm 97% sure that just using static analysis to provide all the relevant type definitions and function signatures as context for code completion in LLMs alone will be a massive value-add. I'm literally doing that by hand right now to GPT-4, and it works. And I think there's more stuff that can be done where one sets up an automated cycle of (1) prompt LLM, (2) type-check completions, (3) construct prompt that incorporates type checking errors, ..etc. I really think that this, combined with types written with the "make illegal states unrepresentable" philosophy, will be great. I really wish I had time to work on this myself.