왜이 Haskell 코드가 무한리스트와 함께 성공적으로 작동합니까?

Question

은 무한한 목록에서이 제대로 작동하지만 하프웰 코드는 정상적으로 작동하지 않습니다.하지만 이해할 수 없습니다. 이유가이므로 성공적으로 수행 할 수 있습니다. (전 원래 코드를 수정하여 무한한 목록을 처리하지 못했지만 온라인에서 다른 코드의 내용을 통합 할 수있었습니다. 갑자기이 코드는 작동하지만 왜 그런지는 알 수 없습니다). foldr의

myAny :: (a -> Bool) -> [a] -> Bool 
myAny p list = foldr step False list 
    where 
     step item acc = p item || acc 

나의 이해는이 목록에있는 모든 항목을 통해 루프 (그리고 아마도 그 이해가 불완전) 것입니다. 그렇다면 "단계"기능이 어떻게 표현되는지는 중요하지 않습니다 ... 코드가 무한 루프를 처리 할 수 ​​없어야합니다. 그러나

다음 작품 :

*Main Data.List> myAny even [1..] 
True 

나를 이해하는 데 도움이 바랍니다 : 왜?

Answer 1

http://en.wikipedia.org/wiki/Lazy_evaluation가의 하스켈이 표현식을 평가하는 방법의 우리의 머리에 약간의 추적을하자 참조하십시오. 대입 각 줄에 등호를 위해 동일, 표정은 꽤 빨리 True로 평가 :

myAny even [1..] 
foldr step False [1..] 
step 1 (foldr step False [2..]) 
even 1 || (foldr step False [2..]) 
False || (foldr step False [2..]) 
foldr step False [2..] 
step 2 (foldr step False [3..]) 
even 2 || (foldr step False [3..]) 
True || (foldr step false [3..]) 
True 

acc이 평가되지 않은 썽크 (게으른 평가)로 전달되기 때문에이 작품뿐만 아니라 || 기능이 첫 엄격하기 때문에 인수

True || and (repeat True) 

을하지만이되지 않습니다 :

그래서이 종료의 정의에서

and (repeat True) || True 

봐 || foldr의

True || _ = True 
False || x = x 

Answer 2

여기서 핵심은 하스켈이 엄격하지 않은 언어라는 것입니다. "비 엄격"은 엄격하지 않은 함수를 허용한다는 의미이며, 이는 함수 매개 변수가 사용되기 전에 완전히 평가되지 않을 수도 있음을 의미합니다. 이것은 분명히 "결과가 요구 될 때까지 계산을 지연시키는 기술"이라는 게으른 평가를 허용합니다.

시작 this Wiki article

Answer 3

에서 나는 하스켈 모르겠지만, 나는 귀하의 경우, 그것은 때문에 게으른 평가의 작동하는지 생각한다. 무한히 길게 목록을 처리 할 수 ​​있으므로 액세스 할 때 필요에 따라 결과를 계산합니다.

는

Answer 4

나의 이해가 그것을 목록의 모든 항목을 통해 의지 루프 (그리고 아마도 그 이해 이 불완전)입니다 :이 경우 이유를 볼 수 있습니다.

foldr (foldl과 달리) 목록의 모든 항목을 반복 할 필요가 없습니다. foldr이 정의 된 방법을 살펴 보는 것이 좋습니다.

foldr 호출이 평가

foldr f z []  = z 
foldr f z (x:xs) = f x (foldr f z xs) 

, 그것은 f 함수에 대한 호출의 평가를 강제. 그러나 foldr에 대한 재귀 호출이 함수 f에 대한 인수에 어떻게 포함되는지 유의하십시오. 이 재귀 호출은 f이 두 번째 인수를 평가하지 않으면 평가되지 않습니다.