<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" 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="moz-cite-prefix">On 4/5/19 10:19 AM, Michel Haber wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAEYibMfA3iqR04akOLgMD9AxS2_WLF4wDmgpEaD7f6WweFEBqQ@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<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" moz-do-not-send="true">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="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
<a class="moz-txt-link-freetext" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a>
Only members subscribed via the mailman list are allowed to post.</pre>
</blockquote>
</body>
</html>