27 Feb
2018
27 Feb
'18
1:04 a.m.
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/impredic...
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