Proposal: Improving the IsString String instance
schlepptop at henning-thielemann.de
Mon Aug 26 18:33:39 CEST 2013
Am 25.08.2013 23:02, schrieb Edward Kmett:
> The issue is that length "abc", splitAt 2 "abc", and dozens of other
> tools just stop working for anyone who turns on OverloadedStrings right now.
> IsString was originally put forth as a convenience to make string
> literals work with Text, ByteString, directly as a parsing combinator,
> or as a variable name or string type in an expression language, but
> presently that functionality comes at the tax that random other bits of
> code in your file stop working when you turn it on.
> My proposal is intended to address this fact, by giving up a subset of
> possible convenience instances in exchange for fixing the real headache
> this induces for users.
What you propose is, to let the compiler infer: "If it is something
string-like (imposed by the string literal syntax in the presence of
OverloadedStrings) and it is a list (imposed by 'length'), then it must
be a String".
This conclusion looks rather arbitrary to me. If 'length' would be more
specific (e.g. Text.length) your problem would not arise. If 'length'
would be more generic (e.g. Foldable.length) your proposal would not
help. The problem only arises, because you want to use Prelude's list
functions (_and_ OverloadedStrings _and_ don't want to write type
I predict that soon people will propose here on this mailing list to
replace Prelude's half-monomorphic 'length' by a fully polymorphic
Foldable.length. It does not yet exist, but it could be added easily.
What will you do then?
More information about the Libraries