
13 Oct
2005
13 Oct
'05
12:58 p.m.
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. -- flippa@flippac.org Society does not owe people jobs. Society owes it to itself to find people jobs.