I think the strongest point here is the compiler-as-feedback-loop argument.
If agents take over more of the middle of the software lifecycle, humans probably move towards the edges: writing better requirements and adding more meaningful tests. This also makes Rust interesiting for a different reason than the usual memory safety pitch. Agents can get a structured feedback based on strict type system, ownership and exhaustive enums in a way that the code either satisfies the contract or it doesn't.
I do wonder if the real distinction is not “simple languages vs complex languages”, but languages that fail early with useful feedback vs languages that allow too much valid-but-wrong code”.
If agents take over more of the middle of the software lifecycle, humans probably move towards the edges: writing better requirements and adding more meaningful tests. This also makes Rust interesiting for a different reason than the usual memory safety pitch. Agents can get a structured feedback based on strict type system, ownership and exhaustive enums in a way that the code either satisfies the contract or it doesn't.
I do wonder if the real distinction is not “simple languages vs complex languages”, but languages that fail early with useful feedback vs languages that allow too much valid-but-wrong code”.
reply