Comments on: Iteratees, Parsec and Monoids (Slides) http://comonad.com/reader/2009/iteratees-parsec-and-monoid/ types, (co)monads, substructural logic Sat, 15 Oct 2022 17:33:45 +0000 http://wordpress.org/?v=2.8.4 hourly 1 By: Porges http://comonad.com/reader/2009/iteratees-parsec-and-monoid/comment-page-1/#comment-11263 Porges Tue, 25 Aug 2009 13:40:51 +0000 http://comonad.com/reader/?p=122#comment-11263 This is rather nice. I'm going to need some time to digest it (or should that be osmose?) :) This is rather nice. I’m going to need some time to digest it (or should that be osmose?) :)

]]> By: Edward Kmett http://comonad.com/reader/2009/iteratees-parsec-and-monoid/comment-page-1/#comment-11220 Edward Kmett Sun, 23 Aug 2009 11:04:37 +0000 http://comonad.com/reader/?p=122#comment-11220 @Sjoerd Mostly to follow the original Iteratee write-up with the flip (.) combinator. That would be a perfectly valid approach as well. @Sjoerd

Mostly to follow the original Iteratee write-up with the flip (.) combinator. That would be a perfectly valid approach as well.

]]> By: Sjoerd Visscher http://comonad.com/reader/2009/iteratees-parsec-and-monoid/comment-page-1/#comment-11206 Sjoerd Visscher Sat, 22 Aug 2009 19:32:25 +0000 http://comonad.com/reader/?p=122#comment-11206 Why didn't you use monoids in the default implementation of supplyList? (foldMap over Dual Endo I think?) Very cool stuff this! Why didn’t you use monoids in the default implementation of supplyList? (foldMap over Dual Endo I think?)

Very cool stuff this!

]]> By: Edward Kmett http://comonad.com/reader/2009/iteratees-parsec-and-monoid/comment-page-1/#comment-11175 Edward Kmett Fri, 21 Aug 2009 13:29:36 +0000 http://comonad.com/reader/?p=122#comment-11175 @Sebastian: I just added a source link at the bottom of the post for the Iteratee code. It doesn't contain the monoidal layer, since that has changed quite a bit since this was written. @Sebastian: I just added a source link at the bottom of the post for the Iteratee code. It doesn’t contain the monoidal layer, since that has changed quite a bit since this was written.

]]> By: Sebastian http://comonad.com/reader/2009/iteratees-parsec-and-monoid/comment-page-1/#comment-11172 Sebastian Fri, 21 Aug 2009 10:01:48 +0000 http://comonad.com/reader/?p=122#comment-11172 How is instance MonadPlus Iteratee defined? How is instance MonadPlus Iteratee defined?

]]>