ghci - domyślne zamieszanie

Question

Zdarzyło mi się zobaczyć dziwne zachowanie podczas sprawdzania rozmiaru (minBound, maxBound) i "długość w układzie dziesiętnym" różnych typów integralnych.

Korzystanie GHCi:

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

na ostatnim miejscu chciałbym oczekiwać 19.

Moje pierwsze przypuszczenie że maxBound domyślnie () a tym samym daje 2, ale nie rozumieją, że ponieważ ma powinny być Int przez adnotacją jawne typu (:: [Int]) - i przez więzy przejrzystości wszystkich symboli nazwanych ma powinny być równy.

Po umieszczeniu powyższego wyciągu w pliku i załadowaniu go do GHCi, otrzymuję poprawny wynik.

Dlaczego więc otrzymuję błędny wynik?

Answer 1

Mylące, nadal jest to ograniczenie monomorfizmu w grze (a raczej jego brak w GHCi). Od GHCi nie posiada ograniczenie monomorfizm włączona, definicje mi i ma nie dostać specjalistyczny do Int jak myślisz, że będzie - zamiast pozostają one ogólnie jako mi, ma :: Bounded a => a i zmienna a dostaje instancji dwukrotnie

• raz jak () w fromIntegral $ length $ show ma (jak obserwowany, jest to ustawienie domyślne)
• raz jako Int w [mi,ma,le] :: [Int]

Jeśli chcesz mi i ma faktycznie być typu Int, opisywanie ich jako taki bezpośrednio

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] 

Albo włączyć ograniczenia monormorphism ręcznie w GHCi

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]