Краткая сводка по кодатам (где комонада является "типом для входной примеси")
С точки зрения содержательных резюме - это описание Comonads, кажется, выигрывает - описывая их как "тип для входной примеси".
Что такое эквивалентное содержательное (одно предложение) описание для кодаты?
1 ответ
Решение
"Кодаты - это типы, населенные значениями, которые могут быть бесконечными"
Это контрастирует с "данными", которые населены только конечными значениями. Например, если мы возьмем определение списков "data", оно будет заселено списками конечной длины (как в ML), но если мы возьмем определение "codata", оно будет также заселено списками бесконечной длины (как в Haskell, например x = 1 : x
).
Комонады и кодаты не обязательно связаны друг с другом (хотя, возможно, некоторые так считают, из-за статьи Кибурца " Комонады и кодаты" на Хаскелле).