Programming languages designed for AI agents to write.
Three camps disagree on how to frame the problem.
- The Syntactic camp says the problem is representational — strip ambiguity at the token level.
- The Verification camp says it’s semantic — make contracts mechanically checkable.
- The Orchestration camp says it isn’t a language problem at all — constrain how agents coordinate.
Can I live in all 3?? 🤔🫣🤓