어떻게 sqrt 타입의 Integral Floor를 얻을 수 있습니까?

Question

하스켈에서 간단한 함수를 썼습니다. 숫자가 작은 optimazation으로 소수인지 확인하고 싶습니다. 나는 어떻게

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이 typeclass입니다 올바른 roundSqrt를 작성하는 어떤 생각을 가지고 있지 않기 때문에 그것은 유형으로 사용할 수 없습니다. isPrime 유형 주석에 올바르게 사용했습니다. 따라서 작동 시키려면 쓸 내용을 작성해야합니다.

roundSqrt :: Integral t => t -> t