Haskell Language Numero intero

Esempio

Il tipo di letterale

Prelude> :t 1
1 :: Num a => a

scegliendo un tipo concreto con annotazioni

Puoi specificare il tipo finché il tipo di destinazione è Num con un'annotazione :

Prelude> 1 :: Int
1
it :: Int
Prelude> 1 :: Double
1.0
it :: Double
Prelude> 1 :: Word
1
it :: Word

altrimenti il ​​compilatore si lamenterà

Preludio> 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