如何丢弃结果Scalaz国家遍历

Question

例子：

import scalaz._ 
import Scalaz._ 

def setS(i: Int): State[List[Int], Unit] = modify(i :: _) 

val state = (1 to 1000000).toList traverseS setS 

val (finalState, result) = state(Nil) 

我的状态功能setS有Unit结果类型。这意味着我对结果不感兴趣。然而，当我像这样一百万次运行我的状态时，我将以result集合结束，其中包含Unit的一百万个实例，我将立即丢弃val (finalState, _) = state(Nil)。这似乎很浪费。

有没有办法在没有收集结果的情况下运行这种状态转换？从example-of-state-and-free-monad-in-scalaz

解决方案：

import scalaz._ 
import Scalaz._ 
import Free._ 

def setS(i :Int) :State[List[Int], Unit] = modify(i :: _) 

val s = (1 to 1000000).foldLeft(state[List[Int], Unit](()).lift[Trampoline]) { 
    case (st, i) => st *> setS(i).lift[Trampoline] 
} 

val (finalState, result) = s(Nil).run 

我想你可以写这样的：

def traverseUnitS[S](t :Traversable[State[S, Unit]]) :State[S, Unit] = State[S, Unit] { 
    state0 => 
    val sout = t.foldLeft(state0)((s, st) => st.run(s)._1) 
    (sout,()) 
} 

Answer 1

使用traverseS_而不是traverseS。