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@haskell.org>:
Alejandro may want to comment…
*From:* ghc-devs [mailto:ghc-devs-bounces@haskell.org] *On Behalf Of *Artem Pelenitsyn *Sent:* 26 February 2018 17:05 *To:* ghc-devs@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@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs