[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: |
Thu, 13 Mar 2008 09:27:23 +0900 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.1 (gnu/linux) |
When I wrote this, I was thinking about implementing some form of
static types, because so much of the literature on monads relies on a
static type system. But I suppose that all you really need is a
consistently enforced evaluation order. The static types are not
really _required_, they just help a lot.
-Ivan
Felix Winkelmann <address@hidden> writes:
>
> Sorry, I don't understand this. Unless you want lazyness, what would
> be required in a suitable general dynamically typed language to
> implement monads?
>
>
> cheers,
> felix
- Re: [Chicken-users] google summer of code, (continued)
- Re: [Chicken-users] google summer of code, felix winkelmann, 2008/03/07
- Re: [Chicken-users] google summer of code, Alaric Snell-Pym, 2008/03/10
- 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, 2008/03/10
- Re: [Chicken-users] google summer of code, Felix Winkelmann, 2008/03/12
- Re: [Chicken-users] google summer of code,
Ivan Raikov <=
- 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