ghci - defaulting confusion

Question

크기 (minBound, maxBound)와 다양한 정수형의 "10 진수 표현"길이를 확인하는 동안 이상한 동작이 발생했습니다. GHCi를 사용

: 나는 19를 기대할 수있는 마지막 장소에서

Prelude> :{ 
Prelude| let mi = minBound 
Prelude|  ma = maxBound 
Prelude|  le = fromIntegral $ length $ show ma 
Prelude| in [mi,ma,le] :: [Int] 
Prelude| :} 
[-9223372036854775808,922372036854775807,2] 
             ^

.

내 첫번째 추측은 maxBound() 기본값 따라서는 2 얻을 수 있다는 것입니다,하지만 난 이해하지 않는 ma는 명시 적 유형 약어 (:: [Int])에 의해 Int을해야하기 때문에 -해야 ma라는 이름의 모든 기호와 참조 투명성에 의해 같은.

위의 문장을 파일에 넣은 다음 GHCi로로드하면 올바른 결과를 얻을 수 있습니다.

그럼 왜 잘못된 결과가 나옵니까?

Answer 1

혼란스럽게도 이는 여전히 놀고있는 monomorphism 제한 (또는 GHCi의 경우 부족함)입니다. 대신 그들은 mi, ma :: Bounded a => a으로 일반 머물면서 a 변수가 한 번 두 번

• 의 인스턴스를 가져옵니다 - GHCi는 그들이 생각으로 단사 사상 제한이 Int에 전문 얻을하지 않습니다 mi 및 ma의 당신의 정의를 사용할 수 없기 때문에 당신이를 원하는 경우 fromIntegral $ length $ show ma에서 ()로 [mi,ma,le] :: [Int]

에서

번으로 Int (당신은 관찰,이 기본입니다) 649,969,333,210 및 ma 실제로 같은 직접

Prelude> :{ 
Prelude| let mi, ma :: Int 
Prelude|  mi = minBound 
Prelude|  ma = maxBound 
Prelude|  le = fromIntegral $ length $ show ma 
Prelude| in [mi,ma,le] 
Prelude| :} 
[-9223372036854775808,9223372036854775807,19] 

로 주석 또는

이

Prelude> :set -XMonomorphismRestriction 
Prelude> :{ 
Prelude| let mi = minBound 
Prelude|  ma = maxBound 
Prelude|  le = fromIntegral $ length $ show ma 
Prelude| in [mi,ma,le] :: [Int] 
Prelude| :} 
[-9223372036854775808,9223372036854775807,19]