On Thu, 13 Oct 2005, Simon Marlow wrote:
On 12 October 2005 23:50, Sebastian Sylvan wrote:
(I'm specifically interested in seeing SPJ's records proposal
included, and a new module system).
Highly unlikely, IMHO. A new revision of the Haskell standard is not
the place for testing new research, rather it's a clear specification of
existing well-understood language features.
In that context, how well-understood is the combination of impredicative
types via boxy types and a proper existential quantifier at the moment?
It's certainly something that has many uses in an industrial context.
--
[EMAIL PROTECTED]
Society does not owe people jobs.
Society owes it to itself to find people jobs.
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell