On Fri, 14 Oct 2005, Simon Peyton-Jones wrote:
| 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.
Stephanie Weirich,
| 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.
Stephanie Weirich, Dimitrios Vytiniotis, and I are currently re-writing
our
On Thu, Oct 13, 2005 at 02:09:55PM +0200, Sebastian Sylvan wrote:
Okay then. Consider this my contribution to the discussion.
First of all I would like to urge the people who do end up working on
this to seriously consider replacing H98's records system. I may be
wrong but the impression I get
Sebastian Sylvan wrote:
I'm wondering what incremental and moderate extension means?
I don't know what others mean by it, but for me, it implies
standardizing existing practice, with possibly some conservative
redesign to get rid of any hysterical warts.
This is, BTW, what the C89 standard did
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
On 10/13/05, Simon Marlow [EMAIL PROTECTED] 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
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
On 10/13/05, Isaac Jones [EMAIL PROTECTED] wrote:
At the end of the Haskell Workshop at ICFP, we had the traditional
Future of Haskell discussion (chaired by Andres Loeh). One of the
main topics was the perceived need of a new standard, because the
Haskell 98 standard is quite old already, and
(Trimming CC list. Maybe we should take this to haskell-cafe?)
Sebastian Sylvan [EMAIL PROTECTED] writes:
(snip quotes)
I'm wondering what incremental and moderate extension means?
Does it mean completely backwards compatible or can it mean
completely new features including ones which
(Trimming CC list. Maybe we should take this to haskell-cafe?)
Sebastian Sylvan [EMAIL PROTECTED] writes:
(snip quotes)
I'm wondering what incremental and moderate extension means?
Does it mean completely backwards compatible or can it mean
completely new features including ones which
10 matches
Mail list logo