> The type system caught real bugs. > The model can often avoid the mistake before the compiler ever sees the code. > The type safety we gave up hasn’t been n

> The type system caught real bugs. > The model can often avoid the mistake before the compiler ever sees the code. > The type safety we gave up hasn’t been noticeable in any concrete way yet [...] > Type safety can be a huge advantage for LLM-generated code if the compiler is helping the agent converge quickly. Well, good to have this question cleared up once and for all :-)