Я пытаюсь понять, как использоватьStateT объединить дваState преобразователи состояния на основе комментария к моемуСкаладская государственная монада, примеры ответ.

Кажется, я очень близко, но у меня возникла проблема при попытке подать заявкуsequence.

import scalaz._
import Scalaz._
import java.util.Random

val die = state[Random, Int](r => (r, r.nextInt(6) + 1))

val twoDice = for (d1 <- die; d2 <- die) yield (d1, d2)

def freqSum(dice: (Int, Int)) = state[Map[Int,Int], Int]{ freq =>
  val s = dice._1 + dice._2
  val tuple = s -> (freq.getOrElse(s, 0) + 1)
  (freq + tuple, s)
}

type StateMap[x] = State[Map[Int,Int], x]

val diceAndFreqSum = stateT[StateMap, Random, Int]{ random =>
  val (newRandom, dice) = twoDice apply random
  for (sum <- freqSum(dice)) yield (newRandom, sum)
}

Итак, я дошел доStateT[StateMap, Random, Int] что я могу развернуть с начальными случайными и пустыми состояниями карты:

val (freq, sum) = diceAndFreqSum ! new Random(1L) apply Map[Int,Int]()
// freq: Map[Int,Int] = Map(9 -> 1)
// sum: Int = 9

Теперь я хотел бы создать список тех,StateT и использоватьsequence так что я могу позвонитьlist.sequence ! new Random(1L) apply Map[Int,Int](), Но при попытке этого я получаю:

type StT[x] = StateT[StateMap, Random, x]
val data: List[StT[Int]] = List.fill(10)(diceAndFreqSum)
data.sequence[StT, Int]

//error: could not find implicit value for parameter n: scalaz.Applicative[StT]
          data.sequence[StT, Int]
                       ^

Любая идея? Я могу использовать некоторую помощь для последнего отрезка - при условии, что это возможно.