153
edições
[edição não verificada] | [edição não verificada] |
mSem resumo de edição |
|||
Prelude> let x = read "1" -- 'x' é polimórfico
Prelude> let y :: Float ; y = read "2" -- 'y' é Float
Prelude> :t x
x :: Read a => a
Prelude> :t y
y :: Float
Prelude> x + y -- GHCi deve inferir que 'x' é Float para poder somar
3.0
Prelude> :t (x + y)
(x + y) :: Float
Prelude> show 2
"2"
Prelude> show (2 > 3)
"False"
Prelude> (putStrLn . show) 2
2
Prelude> (putStrLn . show) (2 > 3)
False}}
|