Utility of monads in Scheme (was: Re: [plt-scheme] Re: Scheme sources readability)

From: John Clements (clements at brinckerhoff.org)
Date: Mon Sep 8 15:08:06 EDT 2008

On Sep 8, 2008, at 7:59 AM, hendrik at topoi.pooq.com wrote:
> Monads were invented so that you could do imperative stuff (at least
> top-level) within a purely functional language, and the theoretical
> combinator-calculus coding was to justify that it was, in some
> theoretical sense at least, still functional.
> Scheme is not purely functional, it has side-affecting
> operatins, and has no need for the monads.


When regarded as a programming pattern, monads can certainly lead to  
some useful Scheme macros.  To take the canonical example, a state- 
passing interpreter is a whole heck of a lot easier to read when you  
introduce a do-like state-passing macro.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2484 bytes
Desc: not available
URL: <http://lists.racket-lang.org/users/archive/attachments/20080908/e8901d7d/attachment.p7s>

Posted on the users mailing list.