(나는 Erlang을 모르고 Haskell을 쓸 수 없지만 그럼에도 불구하고 대답 할 수 있다고 생각합니다)

이 인터뷰에서 난수 생성 라이브러리의 예가 제공됩니다. 가능한 상태 저장 인터페이스는 다음과 같습니다.

# create a new RNG
var rng = RNG(seed)

# every time we call the next(ceil) method, we get a new random number
print rng.next(10)
print rng.next(10)
print rng.next(10)

출력이 될 수 있습니다 5 2 7. 불변성을 좋아하는 사람에게는 이것이 잘못입니다! 5 5 5동일한 객체에서 메소드를 호출했기 때문에 이어야 합니다.

그렇다면 상태 비 저장 인터페이스는 무엇입니까? 난수 시퀀스를 지연 평가 된 목록으로 볼 수 있습니다. 여기서 next실제로 헤드를 검색합니다.

let rng = RNG(seed)
let n : rng = rng in
  print n
  let n : rng = rng in
    print n
    let n : rng in
      print n

이러한 인터페이스를 사용하면 언제든지 이전 상태로 되돌릴 수 있습니다. 코드의 두 조각이 동일한 RNG를 참조하면 실제로 동일한 숫자 시퀀스를 얻습니다. 기능적인 사고 방식에서 이것은 매우 바람직합니다.

상태 저장 언어로 이것을 구현하는 것은 그렇게 복잡하지 않습니다. 예를 들면 다음과 같습니다.

import scala.util.Random
import scala.collection.immutable.LinearSeq

class StatelessRNG (private val statefulRNG: Random, bound: Int) extends LinearSeq[Int] {
  private lazy val next = (statefulRNG.nextInt(bound), new StatelessRNG(statefulRNG, bound))

  // the rest is just there to satisfy the LinearSeq trait
  override def head = next._1
  override def tail = next._2
  override def isEmpty = false
  override def apply(i: Int): Int = throw new UnsupportedOperationException()
  override def length = throw new UnsupportedOperationException()
}

// print out three nums
val rng = new StatelessRNG(new Random(), 10)
rng.take(3) foreach (n => println(n))

일단 목록처럼 느껴지도록 약간의 구문 설탕을 추가하면 실제로는 아주 좋습니다.

답변