스칼라 게으른 발 설명

Question

내가 코 세라에 스칼라 과정에서 기능적 프로그래밍을 복용하고 있는데이 코드 이해하기 힘든 시간을 보내고 있어요 -

가

def sqrtStream(x: Double): Stream[Double] = { 
    def improve(guess: Double): Double = (guess+ x/ guess)/2 
    lazy val guesses: Stream[Double] = 1 #:: (guesses map improve) 
    guesses 
} 

이 방법은 증가하는 순서로 4 10 대략 제곱근을 찾을 것을 sqrtSteam (4) .take (10) .toList를 할 때의 정확도.

누군가 추측의 평가 전략을 여기에서 설명 할 수 있습니까? 내 추측은 추측의 두 번째 가치가 선택되었을 때 대체 된 추측의 가치는 무엇입니까?

당신은 쉽게 scaladoc example에 설명 된대로,지도 기능을 수정하여 무슨 일이 일어나고 있는지 알 수

Answer 1

이의 간소화 예에서 시작하자 :

를

scala> lazy val a: Int = a + 5 
a: Int = <lazy> 

scala> a 
stack overflow here, because of infinite recursion 

그래서 a은 여기에 같은 일부 안정적인 값은 : lazy val a: Int = f(a) + 5을 :

scala> def f(f:() => Any) = 0 //takes function with captured a - returns constant 0 
f: (f:() => Any)Int 

scala> lazy val a: Int = f(() => a) + 5 
a: Int = <lazy> 

scala> a 
res4: Int = 5 // 0 + 5 

당신은 정말 f를 전달 것처럼 그렇게 a 정의 모양을, def f(f: => Any) = 0로 def f(f:() => Any) = 0을 대체 할 수 있습니다.

스트림은 동일한 메커니즘을 사용 - guesses map improve은 이름에 의해 호출 매개 변수로 전달 (스트림 내부에 저장하고 게으른 a에 연결 람다하지만 꼬리가 요청 될 때까지 계산되지 않음)됩니다, 그것은 lazy val guesses = #::(1,() => guesses map improve)처럼 그래서. guessess.head으로 전화하면 꼬리가 평가되지 않습니다. guesses.tail은 늦게 Stream (improve(1), ?)을, guesses.tail.tail은 Stream(improve(improve(1)), ?)이 될 것입니다.

Answer 2

:

scala> def sqrtStream(x: Double): Stream[Double] = { 
    | def improve(guess: Double): Double = (guess + x/guess)/2 
    | lazy val guesses: Stream[Double] = 1 #:: (guesses map {n => 
    |  println(n, improve(n)) 
    |  improve(n) 
    | }) 
    | guesses 
    | } 
sqrtStream: (x: Double)Stream[Double] 

출력은 다음과 같습니다

scala> sqrtStream(4).take(10).toList 
(1.0,2.5) 
(2.5,2.05) 
(2.05,2.000609756097561) 
(2.000609756097561,2.0000000929222947) 
(2.0000000929222947,2.000000000000002) 
(2.000000000000002,2.0) 
(2.0,2.0) 
(2.0,2.0) 
(2.0,2.0) 
res0: List[Double] = List(1.0, 2.5, 2.05, 2.000609756097561, 2.0000000929222947, 2.000000000000002, 2.0, 2.0, 2.0, 2.0) 

Answer 3

guesses의 값은 대체되지 않습니다. 스트림은 목록과 비슷하지만 요소가 필요할 때만 평가되고 저장되면 다음 번에 액세스 할 때 평가가 필요하지 않습니다. 스트림 자체에 대한 참조는 변경되지 않습니다. Αλεχει 쓴 예를 들어 위에

는 스칼라 API에 좋은 설명이있다 : http://www.scala-lang.org/api/current/index.html#scala.collection.immutable.Stream