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

Philippa Cowderoy flippa at flippac.org
Thu Oct 13 08:58:50 EDT 2005

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.

More information about the Haskell-Cafe mailing list