I&#x27;d prefer a language where I don&#x27;t have to write a domain language from scratch and write a program that can enforce its rules at runtime. Rather I&#x27;d like to be able to express my domain code in the language itself, so that my users don&#x27;t have to learn (and I don&#x27;t have to create) a new language. That requires a consistent way of restricting things at compile time, which is very hard to retrofit - if I ever want to be able to enforce that programs don&#x27;t do certain things, the language needs to not offer unrestricted access to those things.