Comments 3
Читал три раза — но так и не понял, зачем вообще нужна комонада в этой задаче. Такое ощущение, будто мне только что объяснили, как правильно держать молоток, но забыли рассказать про гвозди :)
А вы разве раньше сморкались, не используя теорию категорий?
Я рад что смог объяснить как правильно держать молоток. А то что любую задачу можно решить без комонад (так же как без стрелок (Arrow), без профункторов), то это конечно. Я привёл ссылку на «Gabriel Gonzalez,… комонады это объекты». Другие примеры с комонадами в статьях Клеточные автоматы с помощью комонад, Evaluating cellular automata is comonadic, Part I: From Theory to Pretty Pictures. Так что если Вы поняли как держать молоток — уже хорошо. Можно прочитать другие статьи. В последней Edward Kmett, заодно ссылается на свой пакет lens, где он использовал комонады.
Sign up to leave a comment.
Комонада, она как монада, только комонада