[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. 


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

reply via email to

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