Comment by jjani

In a nice world it should be the other way around. LLMs are better at producing typed code thanks to the added context and diagnostics the types add, while at the same time greatly lowering their initial learning barrier.

We don't live in a nice world, so you'll probably end up right.