Some technologies that match your points, but don't include AI: > 1. Make typsafe query builders that compose like SQL more popular than the left-to-right DSL

Some technologies that match your points, but don't include AI: > 1. Make typsafe query builders that compose like SQL more popular than the left-to-right DSL style that paint you in a corner when you know the SQL that you want but end up writing it verbatim because the DSL is less understandable/maintainable. LINQ for c# is pretty good, check that out for inspiration. > 3. Make a framework with static typing more popular than Rails. Spring fails because of JPQL and Hibernate/entity-manager. This doesn't have to be for the JVM or any VM, but it must have fast compile and run times. Try next.js with Typescript enabled. It's a pretty good experience.