我有一個Haskell函數計算有限INTS的列表的大小。我需要的輸出類型是整數,因爲該值將實際上比結合Int的最大值(其結果將是-1確切如果輸出類型是一個Int)哈斯克爾錯誤:無法滿足預期的類型'整「反對推斷類型'詮釋」
size :: a -> Integer
size a = (maxBound::Int) - (minBound::Int)
我理解的Ints(有界)和整數(無界)之間的差異,但我想從一個整數。我想知道是否有像fromInteger這樣的函數,這將允許我將Int轉換爲Integer類型。
你沒有使用'了'。 – kennytm 2010-02-20 08:42:21
(在@dons重。最後一個問題:)通過「有限INTS列表的大小」你的意思是,許多元素,這將是包含所有可能的整數的列表? – MtnViewMark 2010-02-20 16:37:16
@KennyTM,是的,我知道:)尺寸函數是Type Class Finite的一個屬性,對於單獨的子類型(Int,Product of Finites等等)來說是超負荷的,所以'a'用於去除使用哪個超載 – Fry 2010-02-20 17:20:30