tag:blogger.com,1999:blog-11295132.post116256752351439782..comments2014-12-04T12:37:01.029-08:00Comments on A Neighborhood of Infinity: Variable substitution gives a...Dan Piponihttps://plus.google.com/107913314994758123748noreply@blogger.comBlogger5125tag:blogger.com,1999:blog-11295132.post-32931527085713030632009-11-21T18:58:32.843-08:002009-11-21T18:58:32.843-08:00...please where can I buy a unicorn?...please where can I buy a unicorn?Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-11295132.post-79065580964412537062007-02-08T18:23:00.000-08:002007-02-08T18:23:00.000-08:00This is the free monad generated from an algebra c...This is the free monad generated from an algebra construction I mention on LtU <A HREF="http://lambda-the-ultimate.org/node/1183#comment-12838" REL="nofollow">here</A> in late 2005. Very well known stuff that is usually one of the beginning examples of a monad in mathematical treatments (with an algebraic bent) of monads.Derek Elkinsnoreply@blogger.comtag:blogger.com,1999:blog-11295132.post-69718692393455628942006-11-12T15:54:00.000-08:002006-11-12T15:54:00.000-08:00This sounds interesting as I'm working on a theore...This sounds interesting as I'm working on a theoretical physics problem (higher spin gauge field interactions) using computer science inspired methods and I'm planning to implement in Haskell. Furthermore operads seems just the right abstract thing to use. So I've been thinking about operads in Haskell, after all they, the look just like generalizations of monads. Anyone who knows if this is something that's been worked out?<br />Regards<br />Anders BengtssonAnders Bengtssonhttp://www.blogger.com/profile/14139508499015816145noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-1162862461298763012006-11-06T17:21:00.000-08:002006-11-06T17:21:00.000-08:00Please do!Please do!sigfpehttp://www.blogger.com/profile/08096190433222340957noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-1162680160949073412006-11-04T14:42:00.000-08:002006-11-04T14:42:00.000-08:00This looks kinda like the context in which I first...This looks kinda like the context in which I first encountered monads... The operad theorists occasionally look at operads that live in some F-algebra instead of just in some category, and use the "datatype" viewpoint to explicate various ways to handle the input.<BR/><BR/>At some point I need to sit down and write about operads and monads in a way that Haskellers could potentially digest...Michihttp://www.blogger.com/profile/04492458231737217248noreply@blogger.com