ghci randomio 유형 추론

Question

다음은 https://en.wikibooks.org/wiki/Haskell/Understanding_monads/State이고, randomIO은 ghci에 정수를 직접 인쇄합니다. 유형이 다형성 인 경우 ghci은 여기에서 Int을 어떻게 알 수 있습니까? ghci에 형식 유추에 대한 몇 가지 특별한 규칙이 있습니까?

GHCi> :m System.Random 
GHCi> :t randomIO 
randomIO :: Random a => IO a 
GHCi> randomIO 
-1557093684 
GHCi> randomIO 
1342278538 

Answer 1

간단히 말해서 Monomorphism restriction이라고 가정합니다. Num a => a과 같은 다형성 유형은 실제 유형을 지정하지 않으면 Integer처럼 처리됩니다. 아마도이 규칙은 ghci에서 작동하며 알 수없는 유형 변수 대신 정수 유형을 볼 수 있습니다.

UPD 1 : 실제로이 부분에 포함 된 실제 답변은 defaulting rules입니다.

UPD 2 : 케이스가 Random 유형으로 예상보다 어려워졌습니다. 따라서이 경우 보고서에서 말하는 default (Integer, Double) 선언으로 인해 기본값 규칙이 해결됩니다. 는 단사 사상 제한하지만, 단지 기본 디폴트 규칙이 아닌 함수 선언이없는 한 기술적으로 다음 ghci 세션을

Prelude System.Random> default() 
Prelude System.Random> randomIO 

<interactive>:6:1: 
    No instance for (Show (IO a0)) arising from a use of ‘print’ 
    In a stmt of an interactive GHCi command: print it 
Prelude System.Random> default (Integer) 
Prelude System.Random> randomIO 
-7948113563809442883 
Prelude System.Random> default (Double) 
Prelude System.Random> randomIO 
0.41581766590151104