Guarded Impredicativity

Ryan Scott ryan.gl.scott at gmail.com
Fri Jun 28 13:42:18 UTC 2019


Would this permit explicit impredicativity as described in [1]? Simon
mentions in [1] that explicit impredicativity is easier to implement than
guarded impredicativity, although it's not clear to me if the latter would
imply the former.

Ryan S.
-----
[1] https://gitlab.haskell.org/ghc/ghc/issues/14859
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20190628/effb55f7/attachment.html>


More information about the ghc-devs mailing list