Proposal: Improving the IsString String instance

Henning Thielemann schlepptop at henning-thielemann.de
Sun Aug 25 20:29:36 CEST 2013


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?





More information about the Libraries mailing list