<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
  <head>
    <meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
  </head>
  <body text="#000000" bgcolor="#ffffff">
    <br>
    -----BEGIN PGP SIGNED MESSAGE-----<br>
    Hash: SHA1<br>
    <br>
    On 09/01/2010 02:44 AM, Ivan Lazar Miljenovic wrote:<br>
    <span style="white-space: pre;">&gt; On 1 September 2010 16:27,
      David Virebayre <br>
      &gt; <a class="moz-txt-link-rfc2396E" href="mailto:dav.vire+haskell@gmail.com">&lt;dav.vire+haskell@gmail.com&gt;</a> wrote:<br>
      &gt;&gt; Sometimes I'd love if I could program using String and
      the <br>
      &gt;&gt; compiler would automatically convert that to Text, or <br>
      &gt;&gt; Bytestrings, but of course it's wishful thinking.<br>
      &gt; Well, there's OverloadedStrings for String literals...<br>
      &gt; <br>
      &gt; But the problem with automagic conversion would be one of
      encoding <br>
      &gt; for Bytestrings at least.</span><br>
    <br>
    This reminds me:  it would be nice if Text, ByteString, etc.
    exported<br>
    their own definitions of "type String".  As most users have to
    import<br>
    them qualified to avoid collisions with Data.List (and the
    Prelude?)<br>
    anyway, this would enable someone to import their desired module
    as,<br>
    say, S, then use type S.String and string ops S.foo.  Anyone who
    *did*<br>
    use them unqualified would have to add (hiding (String)) to their<br>
    imports, of course.<br>
    <br>
    The flip side of this would be a module which contained the
    definition<br>
    for String and re-exported Data.List, so that the above S.mumble
    could<br>
    work for String as well.  (The obvious choice would be
    Data.String,<br>
    but that's taken for IsString and of course that would be required
    to<br>
    pull this off so it can't just have the list implementation
    stuffed<br>
    into it.)<br>
    -----BEGIN PGP SIGNATURE-----<br>
    Version: GnuPG v1.4.10 (GNU/Linux)<br>
    Comment: Using GnuPG with Mozilla - <a class="moz-txt-link-freetext" href="http://enigmail.mozdev.org/">http://enigmail.mozdev.org/</a><br>
    <br>
    iEYEARECAAYFAkx/FsQACgkQIn7hlCsL25Vk8ACeKco9/IFwGi+8gc+BxSyT3QwY<br>
    oP8An3oabG1lbXHChShbenEWj9HWEq6Q<br>
    =PQsO<br>
    -----END PGP SIGNATURE-----<br>
    <br>
  </body>
</html>