Comments on: Free Monads for Less (Part 1 of 3): Codensity http://comonad.com/reader/2011/free-monads-for-less/ types, (co)monads, substructural logic Sat, 29 Dec 2012 15:18:06 -0800 http://wordpress.org/?v=2.8.4 hourly 1 By: Edward Kmett http://comonad.com/reader/2011/free-monads-for-less/comment-page-1/#comment-106591 Edward Kmett Sun, 18 Nov 2012 17:21:31 +0000 http://comonad.com/reader/?p=218#comment-106591 @Tac-Tics: They are more or less identical. @Tac-Tics: They are more or less identical.

]]> By: Tac-Tics http://comonad.com/reader/2011/free-monads-for-less/comment-page-1/#comment-106387 Tac-Tics Fri, 26 Oct 2012 23:59:43 +0000 http://comonad.com/reader/?p=218#comment-106387 I'm really fascinated by the idea of correct-by-construction monads. One question, though. Control.Monad.Free seems very similar to the Control.Monad.Prompt module. What is the relationship between the two? I’m really fascinated by the idea of correct-by-construction monads. One question, though. Control.Monad.Free seems very similar to the Control.Monad.Prompt module. What is the relationship between the two?

]]> By: Edward Kmett http://comonad.com/reader/2011/free-monads-for-less/comment-page-1/#comment-105460 Edward Kmett Thu, 05 Jul 2012 16:41:33 +0000 http://comonad.com/reader/?p=218#comment-105460 Fixed. I updated it by constraining MonadFree instead. It works correctly in the library I referenced. =) Fixed. I updated it by constraining MonadFree instead. It works correctly in the library I referenced. =)

]]> By: Yo Eight http://comonad.com/reader/2011/free-monads-for-less/comment-page-1/#comment-105455 Yo Eight Thu, 05 Jul 2012 11:52:52 +0000 http://comonad.com/reader/?p=218#comment-105455 Hi, Thank you for this very informative post. You've just forgotten to declare f to be a functor when defining MonadFree f (Codensity m) instance. Regards Hi,

Thank you for this very informative post.

You’ve just forgotten to declare f to be a functor when defining MonadFree f (Codensity m) instance.

Regards

]]> By: The Comonad.Reader » Free Monads for Less (Part 2 of 3): Yoneda http://comonad.com/reader/2011/free-monads-for-less/comment-page-1/#comment-61213 The Comonad.Reader » Free Monads for Less (Part 2 of 3): Yoneda Fri, 24 Jun 2011 04:49:49 +0000 http://comonad.com/reader/?p=218#comment-61213 [...] Last time, I started exploring whether or not Codensity was necessary to improve the asymptotic performance of free monads. [...] [...] Last time, I started exploring whether or not Codensity was necessary to improve the asymptotic performance of free monads. [...]

]]>