a Functor, an Applicative, and a Monad"
Я вот этого не понял. Что монада, по сути, аппликатив - вроде, понимаю. но в какой момент она фанктор?
можно посмотреть как реализован liftM и доказать все законы фанктора, используя законы моунэда
Обсуждают сегодня