I have heard the term “coalgebras” several times in functional programming and PLT circles, especially when the discussion is about objects, comonads, lenses, and such. Googling this term gives pages that give mathematical description of these structures which is pretty much incomprehensible to me. Can anyone please explain what coalgebras mean in the context of … Read more
I’ve seen the term Free Monad pop up every now and then for some time, but everyone just seems to use/discuss them without giving an explanation of what they are. So: what are free monads? (I’d say I’m familiar with monads and the Haskell basics, but have only a very rough knowledge of category theory.) … Read more
Who first said the following? A monad is just a monoid in the category of endofunctors, what’s the problem? And on a less important note, is this true and if so could you give an explanation (hopefully one that can be understood by someone who doesn’t have much Haskell experience)? 5 s 5
