I would like to point out that we may be up against it if we are trying to get rid of the offside rule. It is a very old rule and some of the coolest and most academic languages use it.

Peter Landin invented the offside rule in 1966, if I’m not mistaken, for the conceptual programming language ISWIM (https://en.wikipedia.org/wiki/ISWIM), which inspired all the well-known functional languages, and all of them adopted the rule, with slight variations. Of course ISWIM was described in Landin’s paper, “The Next 700 Programming Languages”. Haskell’s version of the offside rule amounts to (1) accept curly braces (2) use the offside rule to generate curly braces (3) if there are syntax errors at certain keywords then insert curly braces to see if that fixes the error. Scheme has SRFI 119 which proposes to adopt the rule into a LISP dialect.

Rust uses curly braces, and depending on the lifetimes you need for your state variables, doesn’t use a heap. Plus it’s compiled. Is it the ideal language?