Reading this blog post on the author's experience report in Go, it's striking how much compiler error messages and docs come up. Sometimes these matter more than language semantics!
miniblog.
Related Posts
7
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
8
Co-Authored-By: An old Stack Overflow answer, blindly accepting the compiler's suggestions, and a linter.
2
I would have thought that invoking a C compiler would be a solved problem. Looking at Rust's cc crate there's a remarkable long tail of corner cases to fix.
Exotic CPUs, microarchitectures, compiler differences, operating system differences, etc.