scala - Eff monad 和 Free monad 的区别

Question

Eff monad 看起来比 monad 转换器好得多，也更有用，并且可以用 monad 转换替换样板，但是 Free monad 可以通过提供之间的划分来实现完全相同的事情执行和程序定义，因此 Eff monad 看起来像是开销。如果我遗漏了一些细微差别，请纠正我。

Answer 1

Monad transformers 是你想要在日常程序中使用的东西，它让你在 中的 T 上 map 和 flatMap Task[Option[T]]，例如。

Free 和 Eff 解决了一个不同的问题:它们允许您为您的程序编写多个解释器应用)。它们都用于构建单子(monad)表达式。 Eff 让您可以将解释的工作“分摊”给多个解释器，而使用 Free，您通常可以“一次性”从他们的 Free 转换表达式结构到另一个单子(monad)。