Re:Wadler's Law
by larsberg on Monday December 19, 2011 @11:38AM
(#3370116)
This law seems to depend on the mailing list and the age/status of the language. I wonder how it went during the "Successor ML" conversations a while back?
Today, though, it seems as if almost every language conversation we have about Standard ML is a small set of implementers talking about whether, say, rule 64 is inconsistent in its handling of _where type_s and redundant tycons.
Today, though, it seems as if almost every language conversation we have about Standard ML is a small set of implementers talking about whether, say, rule 64 is inconsistent in its handling of _where type_s and redundant tycons.