> If there's a "small" or "simple" FORMAL language specification, it means there's a "large" INFORMAL language out in the wild. This is exactly right, pushing

> If there's a "small" or "simple" FORMAL language specification, it means there's a "large" INFORMAL language out in the wild. This is exactly right, pushing language features into user-land just leads to a load of competing equivalent solutions that developers must learn. The language is simpler but it becomes harder to actually use.