26 Feb
2018
26 Feb
'18
5:04 p.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