[Haskell-cafe] Are arbitrary rank types and existentials
loup.vaillant at gmail.com
Sun Nov 9 18:04:27 EST 2008
Thank you, everyone. You have addressed my concerns very accurately.
So in short, higer rank types subsume existentials. Good. And the burden
of emulating existentials can be lowered by a suitable macro system.
2008/11/9 Derek Elkins <derek.a.elkins at gmail.com>:
> There are various rules for moving quantifiers around. Any text on
> intuitionistic predicate logic should list the rules.
Err, where can I find such texts? I don't even understand
"intuitionistic predicate logic" :-(
More information about the Haskell-Cafe