codata的精简摘要（其中comonad是'输入杂质的'类型'）

Question

就精辟摘要而言 - this description of Comonads似乎赢了 - 将它们描述为“输入杂质的类型”。

codata的等效精简（一句话）描述是什么？

Answer 1

“Codata是可能无限的值所居住的类型”

这与仅由有限值居住的“数据”形成对比。例如，如果我们采用列表的“数据”定义，它就会被有限长度的列表所存在（如ML中所示），但如果我们采用“codata”定义，那么它也有无限的居住也长度列表（如在Haskell中，例如x = 1 : x）。

Comonads和codata不一定相关（尽管有些人可能会这样认为，因为Kieburtz的论文Comonads and codata in Haskell）。