4 ms·
With how much LLMs do nowadays, I'm waiting for the time when specifying types is unnecessary. Like, it if can write code, shouldn't we also be able to have an
by numtel 1y ago
With how much LLMs do nowadays, I'm waiting for the time when specifying types is unnecessary. Like, it if can write code, shouldn't we also be able to have an AI type checker?
- Frieren 1y agoCorrectness is a key characteristic of a compiler. To have something that sometimes checks the types and some times does is not a feasible solution.
- IshKebab 1y agoSystematic checking like that is pretty much LLM's worst case. They're really bad at it. Definitely better to use them to suggest types.
- linhns 1y agoIt writes better when correct type is specified beforehand. So chicken and egg problem you have.