| Hello Simon and others,
|
| unfortunately, I missed this e-mail.
|
| Yes, removal of impredicative polymorphism hurts me, since impredicativity
| plays a crucial role in the Grapefruit FRP library at the moment. This is
| described in section 5 of my paper “Signals, Not Generators!” [5]. It’s
Am Freitag, 30. Oktober 2009 10:51:37 schrieb Simon Peyton-Jones:
> Friends
>
> One more update about GHC 6.12, concerning impredicative polymorphism.
>
> GHC has had an experimental implementation of impredicative polymorphism
> for a year or two now (flag -XImpredicativePolymorphism). But
>
>
On Friday 30 October 2009 5:51:37 am Simon Peyton-Jones wrote:
> One more update about GHC 6.12, concerning impredicative polymorphism.
>
> GHC has had an experimental implementation of impredicative polymorphism
> for a year or two now (flag -XImpredicativePolymorphism). But
>
> a) The implem
I expect we can - we'll investigate.
--Ben
On 2 Nov 2009, at 09:32, Simon Peyton-Jones wrote:
| Is there any difference between "-XImpredicativePolymorphism" and "-
| XImpredicativeTypes"?
No there isn't. There's only one flag, -XImpredicativeTypes.
| Hyena uses the latter, and we're using
On Fri, 30 Oct 2009, Sittampalam, Ganesh wrote:
Simon Peyton-Jones wrote:
Fortunately, I don't think a lot of people use the feature in anger.
Please yell if you *are* using impredicative polymorphism for
something serious. But if you are, we need to think of a workaround.
The current situati
| Is there any difference between "-XImpredicativePolymorphism" and "-
| XImpredicativeTypes"?
No there isn't. There's only one flag, -XImpredicativeTypes.
| Hyena uses the latter, and we're using Hyena somewhat "in anger".
Interesting. I hope you can get along without it, perhaps with a bit m
Is there any difference between "-XImpredicativePolymorphism" and "-
XImpredicativeTypes"?
Hyena uses the latter, and we're using Hyena somewhat "in anger".
--Ben
On 30 Oct 2009, at 09:51, Simon Peyton-Jones wrote:
Friends
One more update about GHC 6.12, concerning impredicative polymorphis
Simon Peyton-Jones wrote:
> Fortunately, I don't think a lot of people use the feature in anger.
> Please yell if you *are* using impredicative polymorphism for
> something serious. But if you are, we need to think of a workaround.
> The current situation seems unsustainable.
I think darcs i
Friends
One more update about GHC 6.12, concerning impredicative polymorphism.
GHC has had an experimental implementation of impredicative polymorphism for a
year or two now (flag -XImpredicativePolymorphism). But
a) The implementation is ridiculously complicated, and the complexity
is p
