[PL-sem-jr] Impredicatives vs. higher-ranks

[Artem Pelenitsyn]

Just in case: really simple task hardly solved in Haskell (my SO question),
which mentions all bloody mess mentioned today (Impreds, Higher Rank,
Existensials):

http://stackoverflow.com/q/33586720/465100

The distinction of Higher-Ranked and Impredicatives basically: you can have
foralls only inside `->` type operator in the former and in *any* type
operator (e.g. lists) in the latter.

-- 
best wishes,
Artem
-------------- next part --------------
HTML attachment scrubbed and removed