LLMs could be, but shouldn't be compilers.
Summary
The article argues that LLMs should not be treated as compilers due to under-specified semantics and the risk of lazy specification. It contends that as LLM-driven tooling grows, emphasis on explicit specification and robust verification becomes essential to produce reliable software. It also discusses the trade-offs between abstraction, control, and the iterative process needed to refine intended outcomes.