Iavor Diatchki wrote:
http://hackage.haskell.org/trac/haskell-prime/wiki/FunctionalDependencies#Lossofconfluence
There is nothing about the system being unsound there. Furthermore, I
am unclear about the problem described by the link... The two sets of
predicates are logically equivalent (hav
Hello,
On 10/16/07, apfelmus <[EMAIL PROTECTED]> wrote:
> Iavor Diatchki wrote:
> > apfelmus wrote:
> >> fundeps are too tricky to get powerful and sound at the same time.
> >
> > I am not aware of any soundness problems related to functional
> > dependencies---could you give an example?
>
> http:
On Tue, 16 Oct 2007, apfelmus wrote:
> Robert Will wrote:
> > Could someone please summarize the current status and planned time
> > line for Haskell'?
>
> John Launchbury wrote:
> > Up to now, the Haskell' effort has been mostly about exploring the
> > possibilities, to find out what could be in
Iavor Diatchki wrote:
apfelmus wrote:
fundeps are too tricky to get powerful and sound at the same time.
I am not aware of any soundness problems related to functional
dependencies---could you give an example?
http://hackage.haskell.org/trac/haskell-prime/wiki/FunctionalDependencies#Lossofco
Hello,
On 10/16/07, apfelmus <[EMAIL PROTECTED]> wrote:
> Robert Will wrote:
> > Could someone please summarize the current status and planned time
> > line for Haskell'?
>
> John Launchbury wrote:
> > Up to now, the Haskell' effort has been mostly about exploring the
> > possibilities, to find ou
Robert Will wrote:
Could someone please summarize the current status and planned time
line for Haskell'?
John Launchbury wrote:
Up to now, the Haskell' effort has been mostly about exploring the
possibilities, to find out what could be in Haskell', and to scope out
what it might mean. We've n
Hi Robert,
At the recent Haskell workshop, I stood up and gave the following
summary (approximately):
Up to now, the Haskell' effort has been mostly about exploring the
possibilities, to find out what could be in Haskell', and to scope
out what it might mean. We've now reached the stage w
Hi all,
When I first discovered Haskell' I was really excited to hear that
many of the individual extensions that are already used by many people
are going to be put together to one coherent next release.
I have read the archive of the Haskell Prime Mailing list for all of
2007 as well as a lot o