haskell - Haskell と Int のフロア

Question

Haskell ie floor 1.7 で floor を使用すると、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