much easier to
handle side-effecting computations.
Mike
Benjamin L.Russell wrote:
On Wed, 02 Jul 2008 00:58:08 -0700, Michael Vanier
<[EMAIL PROTECTED]> wrote:
FYI there is precedent for this kind of thing in the functional programming world. PLT Scheme has a
Scheme mailing list and also
FYI there is precedent for this kind of thing in the functional programming world. PLT Scheme has a
Scheme mailing list and also a Scheme-in-education mailing list, which tackles the problems of
trying to teach Scheme to new programmers. If you start such a mailing list for Haskell, I'd like
t
For those of us who aren't type theorists: What's a "negative datatype"?
Mike
Edsko de Vries wrote:
Hey,
It is well-known that negative datatypes can be used to encode
recursion, without actually explicitly using recursion. As a little
exercise, I set out to define the fixpoint combinator usin
> Date: Fri, 16 Sep 2005 23:33:46 +0200
> From: Tomasz Zielonka <[EMAIL PROTECTED]>
>
> On Fri, Sep 16, 2005 at 05:40:04PM +0100, Glynn Clements wrote:
> >
> > Every other language (including Haskell) tends to have the problem
> > that eventually you will encounter a situation where the language
> From: Wolfgang Jeltsch <[EMAIL PROTECTED]>
> Date: Sun, 28 Aug 2005 16:14:26 +0200
>
> Am Sonntag, 28. August 2005 07:06 schrieb Michael Vanier:
> > Right now, the Debian unstable package for GHC 6.4 won't install due to
> > some conflict with libgmp3 (the p
> From: Michael Vanier <[EMAIL PROTECTED]>
> Date: Sat, 27 Aug 2005 22:06:40 -0700 (PDT)
>
>
> Right now, the Debian unstable package for GHC 6.4 won't install due to
> some conflict with libgmp3 (the package maintainer has been notified). I
> tried to compile th
Right now, the Debian unstable package for GHC 6.4 won't install due to
some conflict with libgmp3 (the package maintainer has been notified). I
tried to compile the sources from scratch but found out that GHC requires a
previously-existing version of itself to compile. I have hugs working
fine,
