<div dir="ltr">Hi Vanessa<div><br></div><div>Sorry, I still can't understand what backpack is doing beyond classes and instances.</div><div><br></div><div><a href="http://hackage.haskell.org/package/map-classes-0.1.0.0/docs/Control-Class-Impl-Map.html">map-classes</a> gives a common interface for key-value maps (i.e. arrays, maps, hashmaps, etc), just using classes and interfaces. Indeed this seems to be what classes were designed to do, for example, the IArray class gives a common interface over int index immutable arrays. </div><div><br></div><div>I'm missing something obviously. How can the type "vary" in a way type classes does not allow? Couldn't the code you referenced just be a three parameter type class?</div><div><br></div><div>Thanks,</div><div>Clinton</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Jul 19, 2018 at 1:44 PM, Vanessa McHale <span dir="ltr"><<a href="mailto:vanessa.mchale@iohk.io" target="_blank">vanessa.mchale@iohk.io</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  
    
  
  <div text="#000000" bgcolor="#FFFFFF">
    A module signature can contain data types, and the units can contain
    the concrete data types. This allows e.g. a common interface for all
    string packages: <a class="m_742499653926811802moz-txt-link-freetext" href="https://github.com/haskell-backpack/backpack-str" target="_blank">https://github.com/haskell-<wbr>backpack/backpack-str</a><br>
    <br>
    As you can see (particularly here:
<a class="m_742499653926811802moz-txt-link-freetext" href="https://github.com/haskell-backpack/backpack-str/blob/master/str-sig/Str.hsig#L237" target="_blank">https://github.com/haskell-<wbr>backpack/backpack-str/blob/<wbr>master/str-sig/Str.hsig#L237</a>),
    one can let the *type* vary in a way that typeclasses do not allow.<div><div class="h5"><br>
    <br>
    <div class="m_742499653926811802moz-cite-prefix">On 07/18/2018 10:19 PM, Clinton Mead
      wrote:<br>
    </div>
    </div></div><blockquote type="cite"><div><div class="h5">
      
      <div dir="ltr">Hi All
        <div><br>
        </div>
        <div>I read though Edward Z. Yang's <a href="http://blog.ezyang.com/2016/10/try-backpack-ghc-backpack/" target="_blank">blog post</a> about Backpack but I
          can't understand what it does above and beyond classes and
          instances.</div>
        <div><br>
        </div>
        <div>It seems to me we could just replace a "signature" with a
          "class" and a "unit" with an "instance" and achieve the same
          thing. </div>
        <div><br>
        </div>
        <div>Of course there are issues with orphans instances if we
          don't own either the class or the associated data, but it
          would seem to me that "orphan units" are no less problematic
          than "orphan instances". </div>
        <div><br>
        </div>
        <div>Edward Kmett's <a href="https://www.reddit.com/r/haskell/comments/8a5w1n/new_package_unpackedcontainers/" target="_blank">unpacked-containers</a> <wbr>gets some
          speed improvements using Backpack, but is Backpack just
          optimisation thing, or are there ways you can organise code
          with <span style="font-size:small;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">Backpack</span> 
          that you couldn't do without just classes and instances? For
          example, does Backpack solve the issue of packages requiring
          huge dependency lists to implement instances that most of
          their users will not use?</div>
        <div><br>
        </div>
        <div>Thanks,</div>
        <div>Clinton</div>
      </div>
      <br>
      <fieldset class="m_742499653926811802mimeAttachmentHeader"></fieldset>
      <br>
      </div></div><pre>______________________________<wbr>_________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
<a class="m_742499653926811802moz-txt-link-freetext" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/haskell-<wbr>cafe</a>
Only members subscribed via the mailman list are allowed to post.</pre>
    </blockquote>
  </div>

<br>______________________________<wbr>_________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/haskell-<wbr>cafe</a><br>
Only members subscribed via the mailman list are allowed to post.<br></blockquote></div><br></div>