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