Краткая сводка по кодатам (где комонада является "типом для входной примеси")

Question

Краткая сводка по кодатам (где комонада является "типом для входной примеси")

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

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

2

monads comonad codata

Источник

user15441 11 июл '13 в 22:48

1 ответ

Решение

Другие вопросы по тегам monads comonad codata

user1442218 11 июл '13 в 23:17 2013-07-11 23:17 · Accepted Answer · 2013-07-11 23:17

"Кодаты - это типы, населенные значениями, которые могут быть бесконечными"

Это контрастирует с "данными", которые населены только конечными значениями. Например, если мы возьмем определение списков "data", оно будет заселено списками конечной длины (как в ML), но если мы возьмем определение "codata", оно будет также заселено списками бесконечной длины (как в Haskell, например x = 1 : x).

Комонады и кодаты не обязательно связаны друг с другом (хотя, возможно, некоторые так считают, из-за статьи Кибурца " Комонады и кодаты" на Хаскелле).