On Tue, Jul 20, 2010 at 5:19 PM, Sang Noir <noir.sangn...@gmail.com> wrote: > Me: So why isn't "Monad" called "DataStructure"
Me: Because they are not data structures. They are an abstraction that can represent computations. One kind of computation are the non-deterministic ones. They look like lists. But parsing, continuations, states program are monads. m a means a computation that returns something of type a. That's actually a concept that has a meaning even in a dynamically typed language. And it can be useful in Clojure, too. You can put the do notation as a macro and use this useful abstraction. One particular monad is a list and another one (the free monad) is a tree representing programs. But most monad are not data structures. That's far more general than that. Haskell is a great language and brings a lot of clever ideas. -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en
