小编rod*_*dic的帖子

有人可以解释为什么这个编译

Prelude> 1 :: Num a => a

而这不是

Prelude> 1.0 :: Num a => a

第二个例子可以使用Fractional,但是Num是超类Fractional.就像它的超类一样Integral.