skaller wrote:
>> P.S. What's a monad?
>>     
The easiest way to understand monads (to me!) is as follows:  it is a 
mechanism that, given a particular context, tells you how to "string 
together" computations in that context without have to do all the 
plumbing yourself.

For the Maybe monad, this means that you only have to show what to do in 
the case of getting a Some result, the None cases are taken care of 
'under the hood'.  At least, that's what you get from a little syntactic 
sugar on top of Monads.

Being explicit about what context you use makes it easier to reason 
about your code, for both humans and the compiler.  And I am a big fan 
of telling enough to the compiler to let it find my bugs for me!

Another introduction like by many is Cale Gibbard's 
http://haskell.org/haskellwiki/Monads_as_containers

Jacques

-------------------------------------------------------------------------
Using Tomcat but need to do more? Need to support web services, security?
Get stuff done quickly with pre-integrated technology to make your job easier.
Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642
_______________________________________________
Felix-language mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/felix-language

Reply via email to