[haskell] GHC Haskell에서 메모는 언제 자동으로 이루어 집니까?

GHC는 기능을 메모하지 않습니다.

그러나 주변 람다식이 입력 될 때마다 최대 한 번 또는 최상위 수준에있는 경우 최대 한 번 코드에서 주어진 식을 계산합니다. 예제에서와 같이 구문 설탕을 사용할 때 람다 표현식이 어디에 있는지 결정하는 것은 약간 까다로울 수 있으므로이를 동등한 desugared 구문으로 변환 해 보겠습니다.

m1' = (!!) (filter odd [1..])              -- NB: See below!
m2' = \n -> (!!) (filter odd [1..]) n

(참고 : Haskell 98 보고서는 실제로 왼쪽 연산자 섹션 (a %)을에 해당 하는 것으로 설명 \b -> (%) a b하지만 GHC는이를으로 탈당합니다 (%) a. 이들은 다음과 같이 구분 될 수 있기 때문에 기술적으로 다릅니다.seq 내가 이것에 대해 GHC Trac에 티켓을 제출 한 것 같아요..)

이 감안할 때, 당신이에서 볼 수 m1', 표현은 filter odd [1..]그것이 단지 프로그램의 실행에 한 번 계산 될 수 있도록에있는 동안, 어떤 람다 표현에 포함되지 않은 m2', filter odd [1..]람다 표현이 입력 될 때마다 계산됩니다, 즉, 의 각 호출에서 m2'. 그것은 당신이보고있는 타이밍의 차이를 설명합니다.

실제로 특정 최적화 옵션이있는 일부 GHC 버전은 위의 설명이 나타내는 것보다 더 많은 값을 공유합니다. 이것은 일부 상황에서 문제가 될 수 있습니다. 예를 들어, 함수를 고려하십시오.

f = \x -> let y = [1..30000000] in foldl' (+) 0 (y ++ [x])

GHC 는 함수 y에 의존하지 않고 x다시 작성하는 것을 알 수 있습니다.

f = let y = [1..30000000] in \x -> foldl' (+) 0 (y ++ [x])

이 경우 새 버전은 y저장된 메모리에서 약 1GB를 읽어야 하므로 원래 버전은 일정한 공간에서 실행되고 프로세서 캐시에 맞기 때문에 훨씬 덜 효율적 입니다. 실제로 GHC 6.12.1에서이 함수 f는 최적화 없이 컴파일 할 때 -O2.

답변

m1 :: Int -> Integer
m2 :: (Integral a) => Int -> a

primes = filter isPrime [2..]
    where isPrime n = null [factor | factor <- [2..n-1], factor `divides` n]
        where f `divides` n = (n `mod` f) == 0