On 25/08/13 19:29, Henning Thielemann wrote:
Am 25.08.2013 17:13, schrieb Edward Kmett:
Looks like that takes us back to the original proposal.
It seems that both of Edward and my proposal have a drawback: Edward's proposal restricts lists to [Char]. My proposal allows more element types, but type inference fails for (length "abc").
Why is it necessary to let (length "abc") work as is? Would (length ("abc" :: String)) be too complicated?
This whole proposal was motivated by the fact that the convenience extension, OverloadedStrings, makes simply things like (length "abc") inconvenient as we have to use a type signature. What you're proposing here goes completely against of why this proposal saw the light of the day to begin with. -- Mateusz K.