Съдържателно резюме за comonad. (Където монадата е „тип за нечисто изчисление“)

По отношение на съдържателните обобщения - това описание на Monads изглежда печели – описвайки ги като „тип за нечисти изчисления“.

Какво е еквивалентно съдържателно (едно изречение) описание на комонада?


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