27 Mar
2018
27 Mar
'18
12:42 p.m.
On Tue, Mar 27, 2018 at 12:12:07PM -0400, Daniel Cartwright wrote:
Currently the decision of a name has been left to LML, but I can see leaving it to the Core Libraries Committee (CLC) as being a potentially good idea. One problem with that is fewer people = fewer chance for a good name. I know many programmers have trouble naming things all the time. Good names are hard to come by, and by leaving it to the LML we can hope that statistically that one of the best names will win.
I will second what David Feuer said: consensus among ML participants, if that fails the CLC can intervene.