Краткое резюме для comonad. (Где монада - это «тип для нечистых вычислений»)

С точки зрения содержательного резюме - это описание Монад, кажется, выигрывает - описывая их как «тип для нечистых вычислений».

Что является эквивалентным содержательным (состоящим из одного предложения) описанием комонады?


monads category-theory comonad
person hawkeye    schedule 11.07.2013    source источник
comment
По поводу тега Haskell - спасибо за правки - я честно думал о core.async в Clojure. Можно ли удалить тег haskell?   -  person hawkeye    schedule 12.07.2013
comment
NB: это резюме может быть содержательным, но почти полностью неверным; так что истинный эквивалент также был бы почти полностью неправильным.   -  person Jeremy List    schedule 29.11.2018
comment
Пример использования: functorial.com/the-future-is-comonadic/main. pdf   -  person toraritte    schedule 29.04.2020

Ответы (1)


arrow_upward
4
arrow_downward

«Тип для контекстно-зависимых вычислений»

В качестве альтернативы, лучшим «содержательным описанием» для монад могло бы быть «тип для выходной примеси», и в этом случае содержательное описание для комонад было бы «типом для входной примеси».

(Если вас интересуют комонады, на некоторых моих слайдах выступлений дается еще несколько вводных: http://www.cl.cam.ac.uk/~dao29/talks/comonads-and-codo-talk-dorchard-2011.pdf )

person dorchard    schedule 11.07.2013