什么是自由单子与mtl的辩论？

Question

我不知道免费单子是用来做什么的，也不知道单子转换器库是什么。我也听说过mtl和自由单子的辩论，但我不确定是什么，因为我在互联网上找不到任何关于这一点的讨论。

有人能解释一下这场争论是关于什么的吗？

Answer 1

可能它们实际上意味着更自由的单子（纸，包），据我所知，基本上和单子变形金刚一样，有稍微另一个接口，并有一些实现的某些部分共享。

它只有一个单数类型eff r v，其中r是一个神奇的类型，据我所知，它是存储数据的异构列表。要添加新的transformer只需定义其核心逻辑，而不必定义任何新实例。

例如，这是定义状态所需的数量（代码是从包中复制的，并受其许可证BSD-3-Clause的约束）：

data State s v where
  Get :: State s s
  Put :: !s -> State s ()

get :: Member (State s) r => Eff r s
get = send Get

put :: Member (State s) r => s -> Eff r ()
put s = send (Put s)

runState :: Eff (State s ': r) w -> s -> Eff r (w,s)
runState (Val x) s = return (x,s)
runState (E u q) s = case decomp u of
  Right Get      -> runState (qApp q s) s
  Right (Put s') -> runState (qApp q ()) s'
  Left  u'       -> E u' (tsingleton (\x -> runState (qApp q x) s))