Notions of computation as monoids* | Journal of Functional Programming | Cambridge Core
Notions of computation as monoids* - Volume 27
www.cambridge.org
They show that applicative functors are monoids in a suitable monoidal category (with the Day convolution as the monoidal operation), just as monads are monoids in the category of endofunctors.
Superficially, one can they say that similarly to how comonads are comonoids in the category of endofunctors, then "co-applicative functors" are comonoids in the monoidal category based on Day convolution.
However, I have not tried to figure out an explicit representation of those "co-applicative functors" in terms of specific types and typeclass methods and laws. I don't have an off-hand answer to what is dual to `withApplicative`.
2. С практической точки зрения правильнее проверять ограничения перед началом обработки, а после неё проверять инварианты. Всех реальных отклонений предусмотреть невозможно.
Похоже, в реальной задаче из этого получится каша.
3. Котлин, не смотря на российские корни, ещё не запретили?
"Книга IV посвящена понятию сущности. Аристотель подчеркивает, что под этим словом могут пониматься тела, элементы или числа." Тут вспоминается слово "архетип".
Кроме шуток, Аристотель пишет (в "Метафизике"), что у объекта есть сущность, отличающая его от других. А числа, они, типа, общие. Но тяжело его читать, потому что много раз переписывали от руки люди, не вполне понимающие смысл.
Comments 13
Notions of computation as monoids* | Journal of Functional Programming | Cambridge Core
Notions of computation as monoids* - Volume 27
www.cambridge.org
They show that applicative functors are monoids in a suitable monoidal category (with the Day convolution as the monoidal operation), just as monads are monoids in the category of endofunctors.
Superficially, one can they say that similarly to how comonads are comonoids in the category of endofunctors, then "co-applicative functors" are comonoids in the monoidal category based on Day convolution.
However, I have not tried to figure out an explicit representation of those "co-applicative functors" in terms of specific types and typeclass methods and laws. I don't have an off-hand answer to what is dual to `withApplicative`.
Reply
Reply
2. С практической точки зрения правильнее проверять ограничения перед началом обработки, а после неё проверять инварианты. Всех реальных отклонений предусмотреть невозможно.
Похоже, в реальной задаче из этого получится каша.
3. Котлин, не смотря на российские корни, ещё не запретили?
Reply
3. Он основной язык разработки на Андроиде и им больше пяти миллионов человек пользуется, вряд ли такое запретишь, слава богам.
Reply
Reply
Спасибо!
Reply
"Книга IV посвящена понятию сущности. Аристотель подчеркивает, что под этим словом могут пониматься тела, элементы или числа." Тут вспоминается слово "архетип".
Reply
Кроме шуток, Аристотель пишет (в "Метафизике"), что у объекта есть сущность, отличающая его от других. А числа, они, типа, общие. Но тяжело его читать, потому что много раз переписывали от руки люди, не вполне понимающие смысл.
Reply
Leave a comment