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
- He benchmarks new models by having them build their own copilot — $28 of compute — bucolucas · 2026-10-27
- Founder generates 46 app promo videos in 4 days with Claude, skipping $11,500 in UGC fees — PrajwalTomar_ · 2026-10-27
- Should agents be allowed to change plans mid-task? Reddit debates the drift boundary — wistfulcracker84 · 2026-10-27
- HeyGen + Canva MCP turns slide speaker notes into an avatar presentation video — HeyGen · 2026-10-27
- Local beats cloud: Qwen 3.8 FN handles private student data as well as frontier models — dr_lm · 2026-10-27
- Cloudflare Computer adds agent interruption recovery and approval pauses in v0.7.0 — irvinebroque · 2026-10-27