3 ms·
I think AI will result in a huge push for statically typed languages so the system can verify its own answers for you.
by Gigachad 3y ago
I think AI will result in a huge push for statically typed languages so the system can verify its own answers for you.
- dinvlad 3y agoGive it a couple years, and everyone will forget it and move on to some new shiny
- davidatbu 3y agoI 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.