Haskell에는 입력을 변경하지 않고 반환하는 식별 함수가 있습니다. 정의는 간단합니다.
id :: a -> a
id x = x따라서 재미를 위해 다음과 같이 출력되어야합니다 8.
f = id id id id id id id id id id id id id id id id id id id id id id id id id id id
main = print $ f 8몇 초 후 (작업 관리자에 따르면 약 2GB의 메모리) ghc: out of memory. 마찬가지로 통역사는 ghci: out of memory.
id은 매우 간단한 함수 이기 때문에 런타임이나 컴파일 타임에 메모리 부담이 될 것으로 기대하지 않습니다. 사용중인 모든 메모리는 무엇입니까?
답변:
우리는 id,
id :: a -> a그리고 우리가를 위해 이것을 전문화하면 id id,의 왼쪽 사본은 다음과 id같은 유형 을 갖습니다.
id :: (a -> a) -> (a -> a)그런 다음에서 가장 왼쪽 id에 대해 다시 전문화하면 다음과 같은 결과가 나타납니다 id id id.
id :: ((a -> a) -> (a -> a)) -> ((a -> a) -> (a -> a))따라서 각각 id추가하는 것을 볼 수 있습니다. 맨 왼쪽의 유형 서명 id은 두 배입니다.
유형은 컴파일 중에 삭제되므로 GHC의 메모리 만 차지합니다. 프로그램에서 메모리를 차지하지 않습니다.
id이는가 반복 되는 경우 n해당 유형의 공간이에 비례 함을 의미 2^n합니다. Ryan의 코드에서 추론 된 유형 2^27은 유형을 나타내는 데 필요한 다른 구조 외에 유형 변수에 대한 참조 가 필요 합니다. 이는 대부분의 유형이 예상하는 것보다 훨씬 더 클 것입니다.
ids 를 작성하고 싶습니다 . VIM에서의 정의에 커서를두고 다음을f수행하십시오:s/id id/id . id ./g..