Birisi bu Integer modüler davranışını Haskell'de bana açıklayabilir mi?

Question

*Test> ((3^40) `mod` 3) :: Int 
2 
*Test> ((3^40) `mod` 3) 
0 

Neden böyle? GHCi 7.0.3 kullanıyorum. Bu bir hata değilse, Integral/Int'in haskell'de nasıl çalıştığına dair bir açıklama ya da bir açıklamanın bağlantısı.

Teşekkürler. Sadece aralık bitti

Answer 1

, 3^40 64-bit int bile uyum bir dizi çok büyük: Öte yandan Integer tip sınırsız ve tüm numaralar kabul

Prelude> 3^40 :: Int 
-6289078614652622815 
Prelude> 3^40 :: Integer 
12157665459056928801 

hayır ne kadar büyük olursa olsun. İkinci durumunuzda ( 0 sonucunuz var) bir tür Integer çıktınız. Sadece modüler aritmetik bağlamında üs kullanma konusunda size arithmoi pakette powerMod fonksiyonuna bir göz varsa

Answer 2

: üs hesaplama sırasında

http://hackage.haskell.org/package/arithmoi

import Math.NumberTheory.Powers (powerMod) 

test = powerMod 3 40 3 

powerMod sonucu azaltır Daha az iş yapılmasına neden olmalıdır.