ハスケルの浮動小数点数のためにfloorとfractを実装する最良の方法は？ Haskellの

Question

floorは、RealFrac typeclassについてのみ定義されています。私はこのtypeclassについてよく知らないし、残りのコードは浮動小数点数しか使わない。

FloatをIntにキャストする機能が見つかりません。あった場合、floorはfromIntegral (fromFloating x)とfractに相当します

fract x = x - floor x 

として定義されるだろう、私が言ったようにしかし、私はfromFloatingが何をしたいかのように何もしないすべての機能を発見していません。

fract x 
    | x < 0 = 1 - fract (abs x) 
    | x < 1 = x 
    | otherwise = fract (x - 1) 

、その後、もちろんfloor xのx - fract x次のようになります。これは、私がfractを実装するための考えることができる唯一の方法です。しかし、上のアルゴリズムはO（n）であり、物事を大幅に遅くすることになるので、一定の時間でこれを行う方法があることを期待しています。

Answer 1

コメントによると、floorはすでに浮動小数点数に実装されており、fracは簡単です。

aDouble :: Double 
aDouble = -5.675 

aFloat :: Float 
aFloat = 10.675 

frac :: RealFrac a => a -> a 
frac x = x - fromIntegral (floor x :: Integer) 

main :: IO() 
main = do 
    putStrLn "aDouble is" 
    print aDouble 
    putStrLn "frac(aDouble) is" 
    print (frac aDouble) 
    putStrLn "aFloat is" 
    print aFloat 
    putStrLn "frac(aFloat) is" 
    print (frac aFloat) 

をして生成します：このコードはコンパイル

$ runhaskell /tmp/a.hs 
aDouble is 
-5.675 
frac(aDouble) is 
0.3250000000000002 
aFloat is 
10.675 
frac(aFloat) is 
0.6750002