Are you familiar with JetBrains MPS?
It sounds very much like what he is describing.
It sounds very much like what he is describing.
I think making Scala more correct and more modular is the answer. Hygienic macros and syntactic extensions are more what I had in mind. Rust seems to be a solid contender here but it's much more of a systems language.