ghci randomio type inference

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