Яка різниця між Int та Integer?

У Haskell, яка різниця між a Intі an Integer? Де відповідь задокументована?

"Цілий" - це довільний спосіб точності: він може містити будь-яке число, незалежно від величини, до межі пам'яті вашої машини…. Це означає, що ви ніколи не маєте арифметичних переливів. З іншого боку, це також означає, що ваша арифметика є відносно повільною. Тут користувачі Lisp можуть розпізнати тип "bignum".

"Int" - це більш поширене 32 або 64 бітове ціле число. Реалізація відрізняється, хоча гарантується щонайменше 30 біт.

Джерело: Вісник «Haskell» . Крім того , ви можете знайти Число розділ A Gentle Введення в Haskell корисного.

Intє Bounded, що означає, що ви можете використовувати minBoundта maxBoundз’ясувати межі, які залежать від впровадження, але гарантовано мають принаймні [-2 ²⁹ .. 2 ²⁹ -1].

Наприклад:

Prelude> (minBound, maxBound) :: (Int, Int)
(-9223372036854775808,9223372036854775807)

Однак Integerдовільна точність, і ні Bounded.

Prelude> (minBound, maxBound) :: (Integer, Integer)

<interactive>:3:2:
    No instance for (Bounded Integer) arising from a use of `minBound'
    Possible fix: add an instance declaration for (Bounded Integer)
    In the expression: minBound
    In the expression: (minBound, maxBound) :: (Integer, Integer)
    In an equation for `it':
        it = (minBound, maxBound) :: (Integer, Integer)

Int - це тип машинних цілих чисел, із гарантованим діапазоном принаймні від -2 ²⁹ до 2 ²⁹ - 1, тоді як Integer - цілі числа довільної точності, діапазон такий великий, як у вас є пам'ять.

https://mail.haskell.org/pipermail/haskell-cafe/2005-May/009906.html

Int - це C int, що означає його значення в діапазоні від -2147483647 до 2147483647, тоді як діапазон Integer від усього набору Z , це означає, що він може бути довільно великим.

$ ghci
Prelude> (12345678901234567890 :: Integer, 12345678901234567890 :: Int)
(12345678901234567890,-350287150)

Зверніть увагу на значення літералу Int.

Прелюдія визначає лише основні числові типи: цілі числа з фіксованим розміром (Int), цілі числа довільної точності (Integer), ...

...

Цілочисельний тип Int з кінцевою точністю охоплює щонайменше діапазон [- 2 ^ 29, 2 ^ 29 - 1].

зі звіту Haskell: http://www.haskell.org/onlinereport/basic.html#numbers

Реалізація Integerреалізовується як до Int#тих пір, поки вона не перевищить максимальне значення, яке Int#може зберігати. У цей момент це номер GMP .