Содержательное резюме для comonad. (Где монада является "типом для нечистых вычислений")
С точки зрения содержательных резюме - это описание Монад, кажется, выигрывает - описывая их как "тип для нечистых вычислений".
Что такое эквивалентное содержательное (одно предложение) описание comonad?
1 ответ
Решение
"Тип для контекстно-зависимых вычислений"
В качестве альтернативы, лучшим "подробным описанием" для монад может быть "тип для выходной примеси", и в этом случае подробным описанием для комад является "тип для входной примеси".
(Если вас интересуют комонады, некоторые дополнительные сведения приведены в моих слайдах для выступлений: http://www.cl.cam.ac.uk/~dao29/talks/comonads-and-codo-talk-dorchard-2011.pdf)