什么时候在Scala中使用ST monad？

ST monad用于允许Haskell中的局部可变性,其中通常不允许可变性.例如,如果要编写命令求和函数,则可以使用ST monad.使用scalaz的这种函数的一个例子是(取自here)：

def sumST[S,A](as: List[A])(implicit A: Numeric[A]): ST[S,A] =
  for { n <- newVar(A.zero)
        _ <- as.traverseU(a => n.mod(A.plus(_,a)))
        m <- n.read } yield m

def sum[A : Numeric](as: List[A]): A =
  runST(new Forall[({type λ[S] = ST[S,A]})#λ] {
    def apply[S] = sumST[S,A](as)
  })

显然在scala我们也可以写：

def sum[A](xs: List[A])(implicit N: Numeric[A]) = {
  var sum = N.zero
  val it = xs.iterator
  while (it.hasNext) {
    sum = N.plus(sum,it.next)
  }
  sum
}

这仍然是引用透明的,因为没有可变状态逃避函数的范围.在Haskell中,它用于这些情况,因为我们根本就没有var.

那么我们为什么要在scala中使用ST呢？如果你想处理一个可变结构(比如一个数组)并想要保证,这个可变结构不会逃避计算的范围,但必须首先变成一个不可变的结构,你可以使用ST.在scalaz中,你有STArray这样的情况,当ST monad运行时,它将变成一个ImmutableArray.一个很好的例子是binary sort example in scalaz.值得一读的是RúnarBjarnason的blog article on ST monad.