有一个类型类叫做Parallel
in Cats
。此类的目的是为一些不支持开箱即用并行计算的 monad 提供并行计算,例如Either
例如。
我知道Monad
用于相关计算,因此需要顺序执行。Applicative
用于独立计算,因此此类计算可以并行化。
据了解,每个Monad
is Applicative
(monad 是应用函子)。
所以现在我无法将理论中的所有概念放在一起。如果所有 monad 也是 applicatives,为什么我不能使用 monads 的 applicative 性质进行并行计算,而我需要这个Parallel
类型类?
这只是一个选项吗Applicative
支持并行性或者这是一个要求?
None
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)