| Are there workarounds for uses of impredicative types, or do we lose the
| ability to express certain programs as a result?
There's usually a workaround. I include the msg I sent below.
Simon
-Original Message-
From: Simon Peyton-Jones
Sent: 30 October 2009 09:52
To: GHC users
Cc:
It used to be, because GHC used to implement so-called deep skolemisation.
See Section 4.6.2 of
http://research.microsoft.com/en-us/um/people/simonpj/papers/higher-rank/putting.pdf
Deep skolemisation was an unfortunate casualty of the push to add impredicative
polymoprhism. However, as I
On Tue, Nov 24, 2009 at 6:02 PM, Simon Peyton-Jones
simo...@microsoft.com wrote:
It used to be, because GHC used to implement so-called deep skolemisation.
See Section 4.6.2 of
http://research.microsoft.com/en-us/um/people/simonpj/papers/higher-rank/putting.pdf
Deep skolemisation was an
Simon Peyton-Jones wrote:
It used to be, because GHC used to implement so-called deep skolemisation.
See Section 4.6.2 of
http://research.microsoft.com/en-us/um/people/simonpj/papers/higher-rank/putting.pdf
Deep skolemisation was an unfortunate casualty of the push to add impredicative