Re: [Chicken-users] google summer of code

[Ivan Raikov]

  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