어디서이 두 프로그램은 상당히 동등한 생각

Question

난 그냥 하스켈을 배우는 튜토리얼 사이트에서 두 프로그램을 작성하고, 같은

maximumwhere :: (Ord a) => [a] -> a 
maximumwhere [] = error "empty" 
maximumwhere [x] = x 
maximumwhere (x:xs) = if x > maximum' then x else maximum' where maximum' = maximumwhere xs 

maximumnowhere :: (Ord a) => [a] -> a 
maximumnowhere [] = error "empty" 
maximumnowhere [x] = x 
maximumnowhere (x:xs) = if x > maximumnowhere xs then x else maximumnowhere xs 

있고

바인딩, 왜냐하면 바인딩은 변수를 내용으로 대체하기 때문입니다. 하지만 ghci에서 실행할 때 첫 번째 방법은 후자보다 느린 편이었습니다. 특히 길이가 25 이상인 배열의 경우에는 더욱 그렇습니다. 아마도 바인딩을 사용하면 성능 차이가 커질 수 있지만 그 이유는 모르겠습니다. 아무도 나를 위해 그것을 설명 할 수 있습니까?

Answer 1

아니요, 해당하지 않습니다. let 및 where은 sharing을 도입합니다. 즉,이 값은 한 번만 평가됩니다. 컴파일러는 당신이 말하지 않는 한 일반적으로 두 개의 동일한 표현식의 결과를 공유하지 않을 것입니다. 왜냐하면 일반적으로 이것을 수행하는 시공간 트레이드 오프가 유익한 것인지 아닌지를 스스로 알 수 없기 때문입니다. 제 만 반복 하나씩, 즉 O (N) 않지만

따라서 첫 프로그램은 그것 O (2^N)하게 반복 당 두 재귀 호출 할 것이다. 이것들의 차이는 엄청납니다. 두 번째는 25

을 수행하는 동안에서 N = 25, 33 백만 재귀 호출의 첫 번째 프로그램 결과에 따라서 이야기의 교훈은 당신이 공유하고 싶은 경우에, 당신은 let를 사용하여 요청할 필요가있다 또는 where.