Haskell - 我将如何运行状态单子列表？

Question

我对 Haskell 有点陌生，我在使用 State monad 时遇到了一些麻烦。

我创建了以下类型。 Stat a 有一个为它创建的 monoid、functor、applicative 和 monad 实例。

我的程序中的“主要”类型是生物，它有很多参数：

data Creature = Creature {
    strength  :: Stat Integer,
    dexterity :: Stat Integer,
    ...
}

data Stat a = Stat {
    modifiers :: [StatModifier],
    stat      :: a
}

data StatModifier = StatModifier {
    modifierType :: ModifierType,
    value        :: Integer
}

data ModifierType = 
  Enhancement
  | Morale
  | ...

有很多事情可能发生在一个生物身上。我选择用 state monad 来表示这些东西：

anyPossibleChange :: State Creature Creature

这可能是对生物造成的伤害，增加了生物的力量，基本上是任何事情。任何事情的可能性让我认为 State monad 是一个不错的选择。我将接受一个处于原始状态的生物，进行一些修改，然后在一个元组中返回原始状态和新状态。

原始状态可能是：

Creature {
    strength = Stat [] 10,
    dexterity = Stat [] 10
}

结束状态可能是：

Creature {
    strength = Stat [StatModifier Enhancement 2] 10,
    dexterity = Stat [StatModifier Enhancement 4, StatModifier Morale 2] 10
}

我想建立一个生物需要经历的所有变化的列表，然后让生物通过所有这些变化。

这是我想到的签名，但我在想出一个实现时遇到了麻烦。我愿意接受它与众不同。

applyChanges :: Creature -> [State Creature Creature] ->  Creature

我觉得我应该可以通过折叠来做到这一点，可能是FoldM，但我的大脑正被这些类型所困扰。

什么是好的实现？

Answer 1

State Creature Creature 是这种计算的错误类型。如您所见，您可以摆脱它，但它使事情变得不必要地复杂化，因为您实际上根本不关心状态变量！您只需使用它来存储函数的原始输入……然后将其丢弃在 applyChanges 中。

一个更容易使用的类型是Creature -> Creature，然后如果你有一个这样的函数列表来应用你只需要将它们全部组合起来，你可以通过折叠来完成：

applyChanges :: [Creature -> Creature] -> Creature -> Creature
applyChanges = foldr (.) id