Monoid Mary
mfw someone has read The Essence of the Iterator Pattern and also Applicative Programming with Effects but still wants ~me~ to prove it to them when i casually refer to applicatives being monoidal https://mastodon.social/media/BcDRhKMWuRO06ZhBnK4
Apr 25, 2017 at 7:43pmWeb
Show threadMonoid MaryApr 25, 2017
however seeing this blog post is a good reminder to me that i should go back to The Essence of the Iterator Pattern and figure out the Naperian logarithm stuff better because it is ~fuckin cool~
https://tonyday567.github.io/naperian/index.html
Show threadBrian McKennaApr 25, 2017
@argumatronic wat
Show threadMonoid MaryApr 26, 2017
@puffnfresh after Haskell meetup, talking to someone about The Essence of the Iterator Pattern (talking about the Naperian datatypes bit, mostly), and later I said something offhandedly about applicatives being monoidal and they were like GET OUT. Today I was looking at that paper again and noticed it discusses it, too, same as (and citing) Applicative Programming with Effects. I don't get what I'm doing wrong. Am I mispronouncing "monoidal" maybe that's it.