I'm not sure that we need a new language so much as just primitives from AI gamedev, like behavior trees along with the core agentic loop.

After implementing a behaviour tree library and realising the power of select & sequence I found myself wondering why they aren’t used more widely.

I’ve never done anything in crypto but watched in horror as people created immutable contracts with essentially Javascript programs. Surely it would be much easier to reason about/verify scripts written as a behaviour tree with a library of queries and actions. Even being able to limit the scope of modifications would be a win.