Ross Paterson wrote:
I don't think the original name is inappropriate: the feature described
is certainly existential quantification, albeit restricted to
alternatives of data definitions.
I think that "existential quantification" should mean, well, existential
quantification, in the sense tha
On Wed, Feb 15, 2006 at 10:53:48AM -0500, Stephanie Weirich wrote:
> Hi John,
>
> Dimitrios, Simon and I have been talking about FirstClassExistentials
> recently. (Since they aren't currently implemented in any Haskell
> compiler, their inclusion in Haskell' seems unlikely, but I would like
>
Hi John,
Dimitrios, Simon and I have been talking about FirstClassExistentials
recently. (Since they aren't currently implemented in any Haskell
compiler, their inclusion in Haskell' seems unlikely, but I would like
to seem them discussed for not-too future versions of Haskell.)
In particul
John Meacham wrote:
On Wed, Feb 15, 2006 at 09:25:03AM +, Ross Paterson wrote:
when existential types are allowed in covarient positions you have
'FirstClassExistentials' meaning you can pass them around just like
normal values, which is a signifigantly harder extension than either of
the
On Wed, Feb 15, 2006 at 09:25:03AM +, Ross Paterson wrote:
> > when existential types are allowed in covarient positions you have
> > 'FirstClassExistentials' meaning you can pass them around just like
> > normal values, which is a signifigantly harder extension than either of
> > the other two
On Tue, Feb 14, 2006 at 04:21:56PM -0800, John Meacham wrote:
> On Tue, Feb 14, 2006 at 11:56:25PM +, Ross Paterson wrote:
> > Is this the same as ExistentialQuantification?
> > (And what would an existential in a covariant position look like?)
>
> well, the ExistentialQuantification page is r
On Tue, Feb 14, 2006 at 11:56:25PM +, Ross Paterson wrote:
> Is this the same as ExistentialQuantification?
> (And what would an existential in a covariant position look like?)
well, the ExistentialQuantification page is restricted to declaring data types
as having existential components. in m
Is this the same as ExistentialQuantification?
(And what would an existential in a covariant position look like?)
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://haskell.org/mailman/listinfo/haskell-prime
