小编cof*_*ofp的帖子

流(懒惰列表)和monad之间是否存在任何差异？从概念和数学的角度来看,而不是从技术实施.

或者,确实存在biunique,一对一之间的对应关系？

更确切地说,作为流,它意味着来自Scheme语言的SRFI-41的"偶数流" .

它是另一个类别而不是monads吗？如果是这样,它是什么类别的？

可能"甚至溪流"保证控制副作用,如monads？