浮动数字

Created: November-22, 2018

文字的类型

Prelude> :t 1.0
1.0 :: Fractional a => a

选择带注释的具体类型

你可以使用类型注释指定类型。唯一的要求是类型必须有 Fractional 实例。

Prelude> 1.0 :: Double
1.0
it::Double
Prelude> 1.0 :: Data.Ratio.Ratio Int
1 % 1
it::GHC.Real.Ratio Int

如果不是编译器会抱怨

Prelude> 1.0 :: Int
<interactive>:
    No instance for (Fractional Int) arising from the literal `1.0'
    In the expression: 1.0 :: Int
    In an equation for `it': it = 1.0 :: Int