Proposal: Improving the IsString String instance

Henning Thielemann schlepptop at henning-thielemann.de
Mon Aug 26 19:07:30 CEST 2013


Am 26.08.2013 18:45, schrieb Edward Kmett:

> Forcing users to use signatures on every Stringand import
> Data.Traversableand Data.Foldablequalified "works," but it is the design
> equivalent of sticking your head in the sand and pretending their we
> don't have any problems.

Actually, I would not use type annotations. Instead I would avoid 
OverloadedStrings and write Text.pack where necessary. This saves me 
OverloadedStrings, the special list instance for IsString and type 
annotations. Maybe after all attempts of extending the compiler and 
patching the libraries we find that the initial solution was the best one.





More information about the Libraries mailing list