这是 Clojure 中可变状态的合理单子吗？

Question

我一直在 Clojure 中尝试 monad，并提出了以下代码，其中一元值/状态对由可变的 Clojure deftype 对象表示。

由于对象是可变的，因此一个优点似乎是您可以编写一元代码，而无需始终构造新的结果对象。

然而，我对 monad 还很陌生，所以很想知道：

• 这个结构有意义吗？
• 它真的能作为 monad 正常工作吗？

代码如下：

(defprotocol PStateStore 
  (set-store-state [ss v])
  (get-store-state [ss])
  (set-store-value [ss v])
  (get-store-value [ss]))

(deftype StateStore [^{:unsynchronized-mutable true} value 
                     ^{:unsynchronized-mutable true} state]
  PStateStore 
      (get-store-state [ss] (.state ss))
      (get-store-value [ss] (.value ss))
      (set-store-state [ss v] (set! state v))
      (set-store-value [ss v] (set! value v))

   Object
     (toString [ss] (str "value=" (.value ss) ", state=" (.state ss))))

(defn state-store [v s] (StateStore. v s))

(defmonad MStoredState
  [m-result (fn [v] 
              (fn [^StateStore ss] 
                  (do
                    (set-store-value ss v)
                    ss)))
   m-bind (fn [a f]
            (fn [^StateStore ss]
              (do
                (a ss)
                ((f (get-store-value ss)) ss))))])

; Usage examples

(def mb
  (domonad MStoredState
    [a (m-result 1)
     b (m-result 5)]
    (+ a b)))

(def ssa (state-store 100 101))

(mb ssa)

; => #<StateStore value=6, state=101>

Answer 1

不，它不能作为 monad 正常工作，因为您使用可变状态。

想象一下，您有一个一元值m（一个带有状态的值），您将其称为StateStore。您希望能够做到这一点：

(let
   [a (incr-state m)
    b (decr-state m)]
  (if some-condition a b))

我期望的是，此计算返回一元 m ，其状态根据 some-condition 递增或递减。如果您使用可变状态，则在评估此代码期间，它会同时递增和递减。

单子的好处之一是，虽然它们代表效果，但它们的行为就像普通的纯粹的、不可变的值。您可以传递它们，复制它们（您可以扩展单子值的任何 let 定义，在每个使用站点将其名称替换为它的定义）。唯一需要注意的地方是您使用 m-bind 实际链接效果的地方。否则，与通常的命令式编程一样，代码的不相关部分中不会存在隐式的效果链。这使得在您想要限制副作用的情况下，对 monad 的推理变得更容易、更舒适。

编辑

您可能听说过monadic law，这是任何 monad 实现都应该遵守的方程式。然而，你这里的问题并不是你违反了法律，因为法律没有谈论这一点。事实上，一元法则通常用纯语言 Haskell 来表述，因此不考虑副作用。

如果你愿意，你可以将其视为第四条不言而喻的 monad 法则：好的 monad 应该尊重 参考透明度