Haskell Language Numero galleggiante


Esempio

Il tipo di letterale

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

Scelta di un tipo concreto con annotazioni

È possibile specificare il tipo con un'annotazione di tipo . L'unico requisito è che il tipo deve avere un'istanza Fractional .

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

altrimenti il ​​compilatore si lamenterà

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