Imagining Programming Languages for the Agentic Era
davidcrawshaw · x · 2026-07-12
Based on the premise that 'agents write code, humans read it', the author speculates on the future of programming languages:
- Languages might become less strictly typed and lean towards a copy-paste-friendly style
- Formal verification might increasingly happen outside the code
- Testing frameworks could run inside a simulator VM to instrument syscalls/OS behaviors
- Code expressiveness might drop, but copying and syncing could become more common
The core takeaway is that as verification costs drop and agents continuously read/write codebases, traditional static designs might be replaced by cheaper 'continuous syncing + external verification' approaches.
Related event: Rethinking Programming Languages for the Agent Era(4 posts)→
More from coding & agent
- Looking for a classifier of software engineering task shapes to pick models per task — StewartalsopIII · 2026-09-11
- Steal this idea: prompt-to-hardware where agents assemble custom devices — paraschopra · 2026-09-11
- Model Is the Least Interesting Part: A Guide to Six Core AI Architectures from RAG to Multi-Agent — goyalshaliniuk · 2026-09-11
- Non-coder builds layered memory architecture: 20k tokens tracks a year of agent conversations — matteoianni · 2026-09-11
- Warp's six non-engineering teams all run on Linear and Claude Code — mon__lim · 2026-09-11
- 9-year backend dev: AI code isn't the problem, the rate of making a mess is — Sweaty-Landscape-561 · 2026-09-11