> You find yourself longing for a language with simple semantics and mechanical sympathy. “Simple semantics” as measured how? The only good metric I can think

> You find yourself longing for a language with simple semantics and mechanical sympathy. “Simple semantics” as measured how? The only good metric I can think of is the size of a formal specification.