2 ms·
Some of these are basic, some are more complex, and others I've never ever seen actually used. Does some one here actually know a practical (or at least non-toy
by openasocket 10y ago
Some of these are basic, some are more complex, and others I've never ever seen actually used. Does some one here actually know a practical (or at least non-toy) example usage of a co-monad?
- platz 10y agolenses, the store comonad, cellular automata, convolution,zippers. "whenever you see large datastructures pieced together from lots of small but similar computations there's a good chance that we're dealing with a comonad" http://www.haskellforall.com/2013/02/you-could-have-invented-comonads.html http://www.haskellforall.com/2013/02/you-could-have-invented... (The Builder Pattern, The Iterator Pattern, The Command Pattern)
- jethrolarson 10y agoSome of the words defined like comonad were added merely because they're defined in the fantasy-land spec. It's all still a WIP so contributions or corrections are welcome.