haskell - Haskell 和 Ints 中的地板

Question

当我在 Haskell 中使用 floor 时，即 floor 1.7 我假设它会给我 1 并且它的类型将是 Int 但我不断收到错误消息，好像不是这样？

Answer 1

对我来说很好:

ghci > floor 1.7
1
ghci > :t floor 
floor :: (Integral b, RealFrac a) => a -> b

您可以通过明确提及类型来强制它是 Int 类型:

ghci > floor 1.7 :: Int
1

或者如果你想要 Integer 那么，

ghci > floor 1.7 :: Integer
1