如何使用Integral類型的sqrt發言

Question

我在Haskell中編寫了簡單的函數，我想檢查數字是否為素數，且優化程度較小。 我不知道如何編寫正確的roundSqrt

roundSqrt :: Integral -> Integral
roundSqrt x = floor (sqrt (fromIntegral x))  


isPrime :: Integral t => t -> Bool
isPrime n = [i | i <- [2..k], n `mod` i == 0] == []
           where k =  roundSqrt(n)

Answer 1

Integral是一個類型類，因此不應將其用作類型。 您甚至在isPrime類型注釋中正確使用了它。 因此，要使其正常工作，您應該編寫

roundSqrt :: Integral t => t -> t