Haskell將整數轉換為Int？

Question

是否可以將Integer轉換為Int？ 另一個方向是可能的：toInteger。 我知道Integer能夠存儲更大的值，但有時需要使用std-lib函數進行對話。 我試過（n :: Int）和我找到的其他代碼示例 - 但沒有任何作用。

takeN :: Integer -> [a] -> [a]
takeN n l = take n l

Answer 1

使用fromIntegral 。

takeN :: Integer -> [a] -> [a]
takeN n l = take (fromIntegral n) l

請注意fromIntegral :: (Integral a, Num b) => a -> b ，所以有時你需要一個額外的類型注釋（例如(fromIntegral n :: Int) ），但通常編譯器可以推斷出你想要的類型。

在您的示例的特殊情況下，在Data.List有genericTake :: (Integral i) => i -> [a] -> [a] ，它執行與take相同但具有更通用的類型。

Answer 2

還有fromInteger （ fromIntegral只是從Integer fromInteger . toInteger ，但是因為你有一個Integer ，所以你可以跳過第二部分）