печати очень большие цифры

Question

Я начинаю изучать Haskell, и я не понимаю, что происходит: у меня есть очень простой код:

import System.IO 
import Control.Monad 

fact n = product [1..n] 

main :: IO() 
main = do 
    input_line <- getLine 
    let m = read input_line :: Int 
    print (fact m) 
    return() 

В GHCI, когда я пытаюсь

*Main> :load "fact.hs" 
[1 of 1] Compiling Main    (fact.hs, interpreted) 
Ok, modules loaded: Main. 
*Main> main 
4500 
0 

но

*Main> fact 4500 
2274299510944531831673..... 

Что мне не хватает? Спасибо за любые объяснения.

Answer 1

Тип fact: Num a => a -> a. В вашем main вы применяете его к m, который вы объявили Int. Таким образом, результат fact будет Int, и все расчеты между ними будут выполнены с использованием Int s. Int s - целые числа фиксированной ширины и не могут представлять числа, большие, вызывая переполнение и, следовательно, неправильные результаты.

С вашей второй попытки вы применяете fact к 4500 без указания какого типа вы хотите 4500 быть. В подобных случаях Haskell использует тип номера по умолчанию, который равен Integer. В отличие от Int, Integer может представлять целые числа любого размера, поэтому код просто работает.

Если вы сделали fact 4500 :: Int, вы получите тот же неправильный результат, что и в первый раз. Аналогично, если вы используете :: Integer в своем main вместо Int (или оставьте его, поэтому по умолчанию используется снова¹), вы получите правильный результат.

---

¹ Обратите внимание, что это приведет к предупреждению. Явно аннотируя тип вместо того, чтобы полагаться на правила дефолта, обычно предпочтительнее вне GHCi или небольших тестовых программ.