Продолжая тему межнаров, первого декабря в ухане ЕМНИП был межнар по математике. А потом там понеслась эта фигня, эт чё получается хотели хлопнуть ботанов со всего мира, но промахнулись?
___The most common simplification you hear is that a functor or a monad is like a box or a container. Indeed, a list is a container and a functor, Maybe is like a box, but what about functions? Functions from a fixed type to an arbitrary type define both a functor and a monad (the reader monad). More complex functions define the state and the continuation monads (all these monads are functors as well). I used to point these out as counterexamples to the simplistic picture of a functor as a container.___