请教一个类型转化的问题，麻烦看看代码，短的。

sysabod

1. 
   
2. type Fraction = (Integer,Integer )
   
3. ratfloat :: Fraction -> Float   -- convert to floating numbers
   
4. ratfloat  (a,b) = a/b
   

复制代码

我的hugs显示出错信息是
ERROR file:.\lab1.hs:46 - Type error in explicitly typed binding
*** Term           : ratfloat
*** Type           : Fraction -> Integer
*** Does not match : Fraction -> Float

win_hate

1. 
   
2. type Fraction = (Integer,Integer )
   
3. ratfloat :: Fraction -> Float   -- convert to floating numbers
   
4. ratfloat  (a,b) = (fromInteger a)/(fromInteger b)
   

复制代码

用 fromInteger 把 Integer 转过来。

sysabod

原帖由 win_hate 于 2009-3-22 00:34 发表

type Fraction = (Integer,Integer )
ratfloat :: Fraction -> Float   -- convert to floating numbers
ratfloat  (a,b) = (fromInteger a)/(fromInteger b)


用 fromInteger 把 Integer 转过来。

请问这个frominteger是什么意思呢？谢谢

win_hate

在 hugs 交互环境中，用 :t 可以看一个对象的类型。

1. 
   
2. Prelude> :t (/)
   
3. (/) :: (Fractional a) => a -> a -> a
   

复制代码

可以看出，/ 的两个参数的类型必须是在 Fractional 类中的。而 Integer 不在 Fractional 类中，所以直接把 Integer 作为 / 的参数会出错。

fromInteger 把 Integer 型转成其它类型，但具体转成什么类型要看上下文。

1. 
   
2. Hugs> :t fromInteger
   
3. fromInteger :: Num a => Integer -> a
   

复制代码

可以看出，fromInteger 的参数是 Integer，返回值的类型在 Num 类中。

对于表达式 (fromInteger 1)/(fromInteger 2)，haksell 的自动类型推导机制能从 / 推导出 fromeInteger 的返回类型在 Fractional 中。

即在这里，fromInteger 1 把 1 转成了小数。

[ 本帖最后由 win_hate 于 2009-3-22 15:36 编辑 ]

MMMIX

原帖由 sysabod 于 2009-3-22 15:08 发表

请问这个frominteger是什么意思呢？谢谢

这个 google 一下就有了。