Hi all,
Manuel Chakravarty wrote:
My conclusion is that we should not include FDs or ATs into the
standard at the moment. Standardising FDs as a stopgap measure may
easily put us into the same situation that we are having with
records at the moment.
Nobody is really happy with it, but
Simon Peyton-Jones:
My current take, FWIW.
* MPTCs are very useful. They came along very rapidly (well before
H98). I think we must put them in H'
* But MPTCs are hamstrung without FDs or ATs
* FDs and ATs are of the same order of technical difficulty, as Martin
says
Both FDs and
Manuel M T Chakravarty writes:
Simon Peyton-Jones:
My current take, FWIW.
[...]
Tentative conclusion: H' should have MPTC + FDs, but not ATs.
My conclusion is that we should not include FDs or ATs into the standard
at the moment. Standardising FDs as a stopgap measure may
and functional dependencies
|
| On Thu, Feb 02, 2006 at 11:38:07AM +0100, John Hughes wrote:
| The problem with Haskell 98 is that it *lacks* features which
| have become absolutely essential to Haskell programmers today. Those
| features are what really *need* discussion and energy spent on them
On Tue, 2006-03-28 at 14:32 +0100, Simon Peyton-Jones wrote:
My current take, FWIW.
* MPTCs are very useful. They came along very rapidly (well before
H98). I think we must put them in H'
* But MPTCs are hamstrung without FDs or ATs
* FDs and ATs are of the same order of technical
Am Freitag, 3. Februar 2006 00:06 schrieb John Meacham:
On Thu, Feb 02, 2006 at 03:09:35PM +, Henrik Nilsson wrote:
Now, I'm not saying that FDs are that important, only that it seems
to me they are. I'd be happy to be convinced of the opposite.
But from the above, it at least seems
On Tue, Feb 07, 2006 at 10:04:35AM +0100, Georg Martius wrote:
From the users point of view, the implementation in GHC works quite
well and a lot people use it. It would be a pity if they are not
included in the new standard. What is the problem of specifying what
is implemented.
They work
Henrik Nilsson [EMAIL PROTECTED] writes:
Dear all,
John Mecham wrote:
Yeah, I have been coming to the same conclusion myself. it pains me a
lot. (monad transformers! I need thee!) but its not like fundeps will
go away, they will just still be experimental so it isn't the end of
the world.
standardise them!
Multi-parameter type classes, yes. Functional dependencies, no.
Simon
| -Original Message-
| From: [EMAIL PROTECTED]
[mailto:[EMAIL PROTECTED] On Behalf Of
| Ross Paterson
| Sent: 02 February 2006 11:25
| To: haskell-prime@haskell.org
| Subject: MPTCs and functional dependencies
Dear all,
Simon PJ wrote:
Multi-parameter type classes, yes. Functional dependencies, no.
My experience is that even with very simple applications of MPTCs,
I often end up needing functional dependencies to make things work.
Thus, if my hunch is right, and other people have a similar
... read the JFP journal submission that Martin Sulzmann and Peter
Stuckey and I have been working on.
http://research.microsoft.com/%7Esimonpj/papers/fd-chr
Has this list discussed using CHRs instead of fundeps?
Jim
___
Haskell-prime
Henrik Nilsson wrote:
Dear all,
Simon PJ wrote:
Multi-parameter type classes, yes. Functional dependencies, no.
My experience is that even with very simple applications of MPTCs,
I often end up needing functional dependencies to make things work.
As a user, I'll echo this. It seems to me
On Thu, Feb 02, 2006 at 11:36:34AM -, Simon Peyton-Jones wrote:
I'm confident that it is premature to standardise functional
dependencies at this stage, very useful though they are. If you doubt
me, read the JFP journal submission that Martin Sulzmann and Peter
Stuckey and I have been
On Thu, Feb 02, 2006 at 03:09:35PM +, Henrik Nilsson wrote:
Now, I'm not saying that FDs are that important, only that it seems
to me they are. I'd be happy to be convinced of the opposite.
But from the above, it at least seems that John M. too actually
says that FDs are important?
Oh, I
Ravi Nanavati wrote:
Multi-parameter type classes, yes. Functional dependencies, no.
My experience is that even with very simple applications of MPTCs,
I often end up needing functional dependencies to make things work.
As a user, I'll echo this.
Me three, etc.
Might it be worth
15 matches
Mail list logo