25 Aug
2013
25 Aug
'13
2:29 p.m.
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?