haskell - 在 Haskell 术语中，什么是一元效应？

Question

我觉得我对 monad 有很好的理解，但我不太确定“monadic effects”指的是什么？这是对monad的评价吗？和IO有关系吗？

Answer 1

如果您有一个类型为 M a 的值与 M Monad (或 Applicative 用于应用效果)，那么我们所说的效果是指不包含在 a 中的信息。部分。例如 IO这是很清楚的。 IO Int 的值是 Int一些 IO写入文件或发射导弹等效果。类型为 Maybe Int 的值是一个 Int，其效果可能实际上不包含 Int .对于 [Int]结果是，您实际上有多个 Int s。

我们称其为效果，因为您可以将 Monads 和 Applicatives 视为具有某些效果的计算概念。对于 Maybe结果是您可以提前中止计算，对于 []您可以拆分计算。