整数数字

文字的类型

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

如果不是编译器会抱怨

Prelude> 1 :: String

<interactive>:
    No instance for (Num String) arising from the literal `1'
    In the expression: 1 :: String
    In an equation for `it': it = 1 :: String