<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">2016-09-26 9:00 GMT+02:00 Ben Gamari <span dir="ltr"><<a href="mailto:ben@smart-cactus.org" target="_blank">ben@smart-cactus.org</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">Simon Peyton Jones via ghc-devs <<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a>> writes:<br>
<br>
> Friends<br>
><br>
> GHC has a flag -XImpredicativeTypes that makes a half-hearted attempt<br>
</span>> to support impredicative polymorphism. But it is vestigial.... if it<br>
<span class="">> works, it's really a fluke. We don't really have a systematic story<br>
> here at all.<br>
><br>
</span>Out of curiosity, what ever happened to the most recent attempt at<br>
addressing impredicativity [1]?<br></blockquote><div><br></div><div>It turned our that the new system being proposed was not better than the current one. In particular, it was almost impossible to know upfront whether a program using impredicative types would need an annotation to typecheck. Furthermore, I think it would imply a humongous amount of changes to GHC, for not a very large gain.<br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
As far as the proposal process is concerned, it would likely be a good<br>
idea to put together a proposal so we have somewhere to collect<br>
comments. That being said, it needn't be terribly lengthy given that we<br>
are merely removing a feature.<br>
<br>
Incidentally, that reminds me that I have some documentation fixes to<br>
the ghc-proposals repository that I should proof-read and push.<br>
<br>
Cheers,<br>
<br>
- Ben<br>
<br>
<br>
[1] <a href="https://ghc.haskell.org/trac/ghc/wiki/ImpredicativePolymorphism/Impredicative-2015" rel="noreferrer" target="_blank">https://ghc.haskell.org/trac/<wbr>ghc/wiki/<wbr>ImpredicativePolymorphism/<wbr>Impredicative-2015</a><br>
<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></div>