Make better typed programming languages should improve agentic ergonomics as well as human ergonomics. I’d expect better performance by the agents if they can encode more constraints in the type system like this.