How can anyone think that deciding on expressions of computation should be done by committee? Imagine mathematicians were to get together to agree on standardized terminology for papers - what a waste of time it would be!
Assuming you're not being facetious, I happen to think mathematics would be more advanced today if a little attention was paid to standardizing its notation:
That is exactly why one of the goals needs to be a small, understandable, core.
Committees degrade into uselessness when the discussion degrades into warring over features. Everyone has a pet feature, and nobody lets their pet feature go.
When you have a stated goal of minimalism (for at least part of the greater thing you're trying to define), then the argument to include this or that can be a /logical/ one based on whether it is actually /required/.
Really? There are still people who want a rewrite of Haskell's number types to organise it better (numeric prelude). Mainly for stuff like types that implement addition, but multiplication doesn't work for them.
And one would think that implementing math is easy ;)
