Guarded Impredicativity implementation

Alejandro Serrano Mena trupill at gmail.com
Fri Mar 2 12:43:54 UTC 2018


Hi Artem,
It's great to see some interest about our work :)
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
https://git.science.uu.nl/f100183/ghc-invariant, which incorporates some
advances in the "backward compatibility" section of the paper, but not
guarded impredicativity per se.

Regards,
Alejandro

2018-02-26 23:36 GMT+01:00 Simon Peyton Jones via ghc-devs <
ghc-devs at haskell.org>:

> Alejandro may want to comment…
>
>
>
> *From:* ghc-devs [mailto:ghc-devs-bounces at haskell.org] *On Behalf Of *Artem
> Pelenitsyn
> *Sent:* 26 February 2018 17:05
> *To:* ghc-devs at haskell.org
> *Subject:* Guarded Impredicativity implementation
>
>
>
> Dear ghc-devs,
>
> Is there any work has been done on the latest (ttbomk) proposal for
> impredicative types in Haskell:
>
> > Guarded impredicative polymorphism by Alejandro Serrano, Jurriaan Hage,
> Dimitrios Vytiniotis, Simon Peyton Jones
> https://www.microsoft.com/en-us/research/wp-content/
> uploads/2017/07/impredicative-Jul17.pdf
> <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>
>
> 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).
>
> --
>
> Best wishes,
>
> Artem Pelenitsyn
>
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20180302/7f3bf420/attachment.html>


More information about the ghc-devs mailing list