[Haskell] 請(qǐng)教一個(gè)類型轉(zhuǎn)換的問(wèn)題

win_hate

1. 
   
2. Prelude> let l=[1..2]
   
3. Prelude> map (\x -> 1/x) l
   
4. 
   
5. <interactive>:1:11:
   
6.     No instance for (Fractional Integer)
   
7.       arising from a use of `/' at <interactive>:1:11-13
   
8.     Possible fix: add an instance declaration for (Fractional Integer)
   
9.     In the expression: 1 / x
   
10.     In the first argument of `map', namely `(\ x -> 1 / x)'
    
11.     In the expression: map (\ x -> 1 / x) l
    
12. Prelude> map (\x -> 1/x) [1..2]
    
13. [1.0,0.5]
    
14. Prelude>
    

復(fù)制代碼

• 為什么直接 map 到 [1..2] 上可以，但 map 到綁定到 l 上的 [1..2] 就不行呢？
  
• Possible fix: add an instance declaration for (Fractional Integer)
  
  這里說(shuō)的  instance 指的是什么？ 是 / 這個(gè)運(yùn)算嗎？
  

謝謝。

[ 本帖最后由 win_hate 于 2009-1-20 21:59 編輯 ]

MMMIX

原帖由 win_hate 于 2009-1-20 21:58 發(fā)表

#  為什么直接 map 到 [1..2] 上可以，但 map 到綁定到 l 上的 [1..2] 就不行呢？

這好像和 ghci 自動(dòng)做的一些轉(zhuǎn)換有關(guān)系。你用 :t 看看 [1..2] 和 l 的類型，就會(huì)發(fā)現(xiàn)它們并不一樣。

# Possible fix: add an instance declaration for (Fractional Integer)

這里說(shuō)的  instance 指的是什么？ 是 / 這個(gè)運(yùn)算嗎？

這個(gè) instance 是和 type class 對(duì)應(yīng)的。type class 給出了運(yùn)算的接口，instance 給出具體的實(shí)現(xiàn)。Haskell 中運(yùn)算符重載就靠這個(gè)了。

Prelude> map (\x -> 1/x) l

<interactive>:1:11:
    No instance for (Fractional Integer)
      arising from a use of `/' at <interactive>:1:11-13
    Possible fix: add an instance declaration for (Fractional Integer)
    In the expression: 1 / x
    In the first argument of `map', namely `(\ x -> 1 / x)'
    In the expression: map (\ x -> 1 / x) l

上面這個(gè)錯(cuò)誤信息的意思是對(duì)于 type class Fractional 沒(méi)有和 Integer 對(duì)應(yīng)的實(shí)現(xiàn)，在 GHCi 中，type class 的查看可通過(guò) :i, 如

Prelude> :i Fractional
class (Num a) => Fractional a where
  (/) :: a -> a -> a
  recip :: a -> a
  fromRational :: Rational -> a
          -- Defined in GHC.Real
instance Fractional Double -- Defined in GHC.Float
instance Fractional Float -- Defined in GHC.Float

可以看到，type class Fractional 定義了三個(gè)運(yùn)算，(/), recip, 和 fromRational，當(dāng)前環(huán)境中有兩個(gè)實(shí)現(xiàn)(instance)，F(xiàn)ractional Double 和 Fractional Float。

你想要 (/) 用在 Integer 上(l 的類型為 [Integer])，就得添加一個(gè) instance Fractional Integer，也即對(duì) Integer 實(shí)現(xiàn) Fractional 的那三個(gè)操作。

[ 本帖最后由 MMMIX 于 2009-1-20 22:24 編輯 ]

win_hate

你想要 (/) 用在 Integer 上(l 的類型為 [Integer])，就得添加一個(gè) instance Fractional Integer，也即對(duì) Integer 實(shí)現(xiàn) Fractional 的那三個(gè)操作。

明白了。我下面的需求應(yīng)該很普遍，應(yīng)該不用修改 Integer 類。我試過(guò) fromInteger，還是不行。不知道哪里搞錯(cuò)了。

我有一個(gè)整數(shù)列表，類型為 [Int]。

我想把一個(gè)函數(shù) f x=x/n map 到這個(gè)列表上，n 的類型是個(gè) Int，希望能得到一個(gè)列表，類型為 [Double]。

不知道該怎么做了。

[ 本帖最后由 win_hate 于 2009-1-20 22:35 編輯 ]

MMMIX

原帖由 win_hate 于 2009-1-20 22:28 發(fā)表
我有一個(gè)整數(shù)列表，類型為 。

我想把一個(gè)函數(shù) f x=x/n map 到這個(gè)列表上，n 的類型是個(gè) Int，希望能得到一個(gè)列表，類型為 [Double]。

不知道該怎么做了。

這個(gè)忘說(shuō)了，做下類型轉(zhuǎn)換就可以了。例如把 f 定義為 f x = x / fromInteger n

win_hate

原帖由 MMMIX 于 2009-1-20 22:34 發(fā)表

這個(gè)忘說(shuō)了，做下類型轉(zhuǎn)換就可以了。例如把 f 定義為 f x = x / fromInteger n

我再試一下。

win_hate

我明白了。最初的類型是 Int，要 toInteger 后才能 fromInteger.

謝謝。

MMMIX

原帖由 win_hate 于 2009-1-20 22:57 發(fā)表
我明白了。最初的類型是 Int，要 toInteger 后才能 fromInteger.

嗯，Integer 是 Haskell 的無(wú)窮精度整形數(shù)，Int 類似于 C 的 int.