Prelude> :t 1 1 :: Num a => a
您可以指定类型,只要目标类型Num带有注释即可:
Prelude> 1 :: Int 1 it :: Int Prelude> 1 :: Double 1.0 it :: Double Prelude> 1 :: Word 1 it :: Word
如果不是,编译器会抱怨
前奏> 1 ::字符串
<interactive>: No instance for (Num String) arising from the literal `1' In the expression: 1 :: String In an equation for `it': it = 1 :: String