<div dir="ltr"><div><div><div><div>Hi Artem,<br></div>It's great to see some interest about our work :)<br></div>At this moment there are no plans of making it part of GHC -- some details about the integration with other features need further thought. If you are really interested in trying, we built a prototype at <a href="https://git.science.uu.nl/f100183/ghc-invariant">https://git.science.uu.nl/f100183/ghc-invariant</a>, which incorporates some advances in the "backward compatibility" section of the paper, but not guarded impredicativity per se.<br><br></div>Regards,<br></div>Alejandro<br></div><div class="gmail_extra"><br><div class="gmail_quote">2018-02-26 23:36 GMT+01:00 Simon Peyton Jones via ghc-devs <span dir="ltr"><<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">





<div link="blue" vlink="purple" lang="EN-GB">
<div class="m_8545334837729977117WordSection1">
<p class="MsoNormal"><span>Alejandro may want to comment…<u></u><u></u></span></p>
<p class="MsoNormal"><a name="m_8545334837729977117__MailEndCompose"><span><u></u> <u></u></span></a></p>
<span></span>
<div style="border:none;border-left:solid blue 1.5pt;padding:0cm 0cm 0cm 4.0pt">
<div>
<div style="border:none;border-top:solid #e1e1e1 1.0pt;padding:3.0pt 0cm 0cm 0cm">
<p class="MsoNormal"><b><span lang="EN-US">From:</span></b><span lang="EN-US"> ghc-devs [mailto:<a href="mailto:ghc-devs-bounces@haskell.org" target="_blank">ghc-devs-bounces@<wbr>haskell.org</a>]
<b>On Behalf Of </b>Artem Pelenitsyn<br>
<b>Sent:</b> 26 February 2018 17:05<br>
<b>To:</b> <a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<b>Subject:</b> Guarded Impredicativity implementation<u></u><u></u></span></p>
</div>
</div><div><div class="h5">
<p class="MsoNormal"><u></u> <u></u></p>
<div>
<div>
<div>
<div>
<div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
Dear ghc-devs,<u></u><u></u></p>
</div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
Is there any work has been done on the latest (ttbomk) proposal for impredicative types in Haskell:<br>
<br>
> Guarded impredicative polymorphism by Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones<br>
<a href="https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.microsoft.com%2Fen-us%2Fresearch%2Fwp-content%2Fuploads%2F2017%2F07%2Fimpredicative-Jul17.pdf&data=04%7C01%7Csimonpj%40microsoft.com%7Cf686ab108af4499d069908d57d3b574c%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C1%7C636552616185599409%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwifQ%3D%3D%7C-1&sdata=SLgThIE8WUMO8fLwSO2uS10wt3gNzWak1XMimbYApwI%3D&reserved=0" target="_blank">https://www.microsoft.com/en-<wbr>us/research/wp-content/<wbr>uploads/2017/07/impredicative-<wbr>Jul17.pdf</a><u></u><u></u></p>
</div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6.0pt;margin-left:0cm">
Or are there any plans to do so? I wasn't able to spot any mentions of this in either of GHC's forums (this list, Trac, wiki, ghc-proposals repo).<br>
<br>
--<u></u><u></u></p>
</div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6.0pt;margin-left:0cm">
Best wishes,<u></u><u></u></p>
</div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6.0pt;margin-left:0cm">
Artem Pelenitsyn<u></u><u></u></p>
</div>
</div></div></div>
</div>
</div>

<br>______________________________<wbr>_________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/ghc-devs</a><br>
<br></blockquote></div><br></div>