<div dir="ltr"><div>Hello,</div><div><br></div><div>Thanks for your answer Vanessa.<br></div><div><br></div><div>So you wouldn't say that, for instance, some of these extensions might provide room for more extensive</div><div>optimizations, seeing as they provide stronger guarantees (Non empty vectors and such) ?</div><div><br></div><div>Michel :)<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Apr 5, 2019 at 6:07 PM Vanessa McHale <<a href="mailto:vanessa.mchale@iohk.io">vanessa.mchale@iohk.io</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
  
    
  
  <div bgcolor="#FFFFFF">
    <p>I would not expect type system extensions to have any effect on
      the performance of generated code.<br>
      <br>
      Cheers,<br>
      Vanessa McHale<br>
    </p>
    <div class="gmail-m_7292839965826708249moz-cite-prefix">On 4/5/19 10:19 AM, Michel Haber wrote:<br>
    </div>
    <blockquote type="cite">
      
      <div dir="ltr">
        <div dir="ltr">
          <div>Hello Cafe,</div>
          <div><br>
          </div>
          <div>So I've been learning a bit about the GHC extensions from
            <a href="https://github.com/i-am-tom/haskell-exercises" target="_blank">https://github.com/i-am-tom/haskell-exercises</a>.
            But the lessons say nothing about how the extensions work
            behind the scenes.</div>
          <div><br>
          </div>
          <div>For example, I've assumed that RankNTypes would require
            something similar to dynamic dispatch in imperative
            languages in order to work. But this is just an assumption.</div>
          <div><br>
          </div>
          <div>So I was wondering where I can get a quick succinct read
            (or a summary at least) about how these extensions are
            implemented, as well as their performance cost (or gain!).</div>
          <div><br>
          </div>
          <div>Also if someone knows other tutorials and lessons for
            these, and other extensions, please feel free to share them
            :p<br>
          </div>
          <div><br>
          </div>
          <div>Thank you,<br>
          </div>
          <div>Michel :)<br>
          </div>
        </div>
      </div>
      <br>
      <fieldset class="gmail-m_7292839965826708249mimeAttachmentHeader"></fieldset>
      <pre class="gmail-m_7292839965826708249moz-quote-pre">_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
<a class="gmail-m_7292839965826708249moz-txt-link-freetext" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a>
Only members subscribed via the mailman list are allowed to post.</pre>
    </blockquote>
  </div>

_______________________________________________<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-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div>