纯函数随机数生成器 - 状态monad

时间:2015-08-04 20:33:05

标签: scala functional-programming monads state-monad

本书' Scala中的函数编程 '演示了一个纯函数随机数生成器的示例,如下所示

trait RNG {
    def nextInt: (Int, RNG)
}

object RNG {
    def simple(seed: Long): RNG = new RNG {
        def nextInt = {
            val seed2 = (seed*0x5DEECE66DL + 0xBL) &
                        ((1L << 48) - 1)
            ((seed2 >>> 16).asInstanceOf[Int],
             simple(seed2))
        }
    }
}

用法看起来像

val (randomNumber,nextState) = rng.nextInt

我确实得到了它是纯函数的部分,因为它返回下一个状态并将其留在API客户端上,以便在下次需要时使用它来调用nextInt随机数,但我不明白的是'如何生成第一个随机数,因为我们必须至少提供一次seed

是否还有其他功能可以提升seed以获得RNG?如果是这样,那么我们如何期望此API的客户端知道它(因为在非功能实现中用户只调用nextInt并且状态由API维护)

有人可以在Scala中提供纯函数随机数生成器的完整示例,并且可能将它与状态Monad关联起来。

4 个答案:

答案 0 :(得分:5)

随机生成器RNG是纯函数,对于相同的输入,您始终获得相同的输出。非纯功能部分留给该API(您)的用户。

要以纯函数方式使用RNG,您必须始终使用相同的初始值对其进行初始化,但随后您将始终获得相同的数字序列,这不是很有用。

否则,您将不得不依赖RNG初始化到外部系统(通常是挂钟时间),因此引入副作用(再见纯函数)。

val state0 = RNG.simple(System.currentTimeMillis)

val (rnd1, state1) = state0.nextInt
val (rnd2, state2) = state1.nextInt
val (rnd3, state3) = state2.nextInt

println(rnd1, rnd2, rnd3)

<强> [编辑]

受到@Aivean答案的启发,我创建了我的randoms版本Stream

def randoms: Stream[Int] = Stream.from(0)
  .scanLeft((0, RNG.simple(System.currentTimeMillis)))((st, _) => st._2.nextInt)
  .tail
  .map(_._1)

println(randoms.take(5).toList)
println(randoms.filter(_ > 0).take(3).toList)

答案 1 :(得分:4)

此外,您的示例很好地与Scala流结合:

  def randStream(r: RNG): Stream[Int] = r.nextInt match {
    case (value, next) => value #:: randStream(next)
  }

  val rng = randStream(RNG.simple(123))
  println(rng.take(10).toList)
  println(rng.take(5).toList)

答案 2 :(得分:3)

  

有人可以在Scala中提供纯函数随机数生成器的完整示例,并且可能将它与状态Monad关联起来。

这个 是一个纯功能的RNG。

val state0 = RNG.simple(1234)
val (r1, state1) = state0.nextInt
val (r2, state2) = state1.nextInt
// etc.
val (x, _) = state1.nextInt
assert (x == r2)

答案 3 :(得分:0)

递归函数,派生自@Aivean Stream函数,

def rand(n: Int, r: RNG): List[Int] = { 
  if (n < 0) List() 
  else {
    val (value, next) = r.nextInt
    value :: rand(n-1, next) 
  }
}

获取5随机值,

rand(5, RNG.simple(System.currentTimeMillis) )