Haskell，floor，toRational和logBase之間的類型不匹配

Question

這真是困擾我。 我想找到最大的m，使2 ^ m <n。 這是我所做的：

m = floor $ toRational $ logBase 2 n

GHCI抱怨：

No instance for (Floating Int) arising from a use of ‘logBase’
In the second argument of ‘($)’, namely ‘logBase 2 n’
In the second argument of ‘($)’, namely ‘toRational $ logBase 2 n’
In the expression: floor $ toRational $ logBase 2 n

我不明白為什么，因為：

*Main> :t logBase 
logBase :: Floating a => a -> a -> a
*Main> :t toRational 
toRational :: Real a => a -> Rational
*Main> :t floor 
floor :: (RealFrac a, Integral b) => a -> b

logBase返回一個Floating ，而toRational接受一個Real ：這必須起作用，因為Floating不能成為Real 。 然后toRational返回一個Rational ，而floor接受一個RealFrac 。 我不知道那是什么（我嘗試用:info RealFrac進行:info RealFrac ，但幾乎沒有有用的輸出），但是Rational不能成為RealFrac嗎？

Floating Int有錯誤，您可以幫我了解一下嗎？ 第二個問題，我如何獲得RealFrac諸如RealFrac類的怪異類型的更多信息？ 正如我所說的:info RealFrac對我不是很有幫助。

Answer 1

看起來n是Int類型，沒有Floating實例。 您可以使用fromIntegral ：

m = floor $ toRational $ logBase 2 (fromIntegral n)