I'd really love to see a language with primitives for entity-component-system paradigm and convenient syntax for hierarchical finite state machines. Just doing

I'd really love to see a language with primitives for entity-component-system paradigm and convenient syntax for hierarchical finite state machines. Just doing types, classes, interfaces again and again isn't really interesting. Most interesting thing in Rust is not the type system or borrow checker but value semantics.