Good compiler error messages are hard. LtU: https://lambda-the-ultimate.org/node/5280#comment-90836 if two parts of a function use different types, what do you highlight?
miniblog.
Related Posts
I've never seen a good design philosophy on how to sort compiler errors for the best UX.
Do you order by line, or by severity? Do you put the most actionable at the end (because that's most visible when the terminal scrolls) or at the beginning?
Anthropic used Claude to write a C compiler in Rust (CCC). I've really enjoyed following the discussion.
The initial post shows how they wrote the harness with GCC as an oracle and a prompt specifying a design using SSA. The author has clear domain expertise.
https://www.anthropic.com/engineering/building-c-compiler
Co-Authored-By: An old Stack Overflow answer, blindly accepting the compiler's suggestions, and a linter.