Tracy R Reed wrote: > Christopher Smith wrote: >> assumptions. The solution is, of course, to add another parameter. Let's >> call this "n" and we'll say that it represents the "nth invocation of >> read". So the first time you invoke read you pass in "n" as a zero, the > > Ah, very interesting. I think I get it. Seems relatively simple. So > why do all of the other explanations I have read talk about > encapsulating nuclear waste in a spacesuit and other bizarre stuff? > And how does this idea of adding another parameter tie in with > category theory? > Coming up with weird metaphors and explanations for Monad's seems to be an Internet pastime. :-) That said, they are tied to mathematics, which means people like to give mathematical explanations for them. I find it useful to cut through the crap and get to the heart of it. As for tying it in to category theory.... I'm still trying to grok category theory myself, so I wouldn't want to venture forth a unifying theory.
--Chris -- [email protected] http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-lpsg
