[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Chicken-users] google summer of code

From: Ivan Raikov
Subject: Re: [Chicken-users] google summer of code
Date: Tue, 11 Mar 2008 09:43:52 +0900
User-agent: Gnus/5.11 (Gnus v5.11) Emacs/22.1 (gnu/linux)

  Well, users of monadic programming languages would say that
continuations are monads in disguise :-) And yes, monads are "just"
statically typed continuations in a side-effect free environment, but
my point was that implementing them in Chicken would be non-trivial,
unless you had an elegant way to specify operational semantics.


"felix winkelmann" <address@hidden> writes:

> On 3/7/08, Ivan Raikov <address@hidden> wrote:
>>  Concurrent Haskell is based on monadic processes: if you want to
>> have Haskell-like threads, first you need to provide support for
>> monads in the core of Chicken.
> (Side note: Monads are just CPS in disguise, statically typed and
> in a side-effect free environment)
> cheers,
> felix

reply via email to

[Prev in Thread] Current Thread [Next in Thread]