Agentic development is making explicit and strict programmings languages with robust tooling the future

Meh. The only new thing about it is capabilities, which they don't explain.