[Haskell] RE: [Haskell-cafe] Interest in helping w/ Haskell standard

[Philippa Cowderoy]

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 at flippac.org

Society does not owe people jobs. 
Society owes it to itself to find people jobs.