[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.
-Ivan
"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
- Re: [Chicken-users] google summer of code, (continued)
- Re: [Chicken-users] google summer of code, Graham Fawcett, 2008/03/07
- Re: [Chicken-users] google summer of code, Ivan Raikov, 2008/03/07
- Re: [Chicken-users] google summer of code, Graham Fawcett, 2008/03/07
- [Chicken-users] Re: Chicken MPI, Ivan Raikov, 2008/03/08
- [Chicken-users] Re: Chicken MPI, Graham Fawcett, 2008/03/08
- Re: [Chicken-users] google summer of code, felix winkelmann, 2008/03/10
- Re: [Chicken-users] google summer of code,
Ivan Raikov <=
- Re: [Chicken-users] google summer of code, Felix Winkelmann, 2008/03/12
- Re: [Chicken-users] google summer of code, Ivan Raikov, 2008/03/12
- Re: [Chicken-users] google summer of code, Houman Zolfaghari, 2008/03/10
- Re: [Chicken-users] google summer of code, Tobia Conforto, 2008/03/11
- Re: [Chicken-users] google summer of code, Alaric Snell-Pym, 2008/03/10
- Re: [Chicken-users] google summer of code, Leonardo Valeri Manera, 2008/03/07
Re: [Chicken-users] google summer of code, Ivan Raikov, 2008/03/05