在Haskell中将sqrt应用于元组列表

Question

我做了一个元组列表，我想根据每个元组第二个成员的平方根是否是整数来过滤此列表：

isInt :: (RealFrac a) => a -> Bool
test m n = filter (\(a,b) -> isInt (sqrt b)) 
             ( zip [m..n]  
                ( map (\y -> sum y ) $ 
                    map (\x -> map (^2) x) 
                        [  filter (\z -> mod j z ==0 ) [1..j] 
                           |  j <- [i | i <- [m..n]]  ] ))
isInt x  =  x == fromInteger (round x) 

但是每次，我都会收到此错误：

  • Ambiguous type variable ‘b0’ arising from a use of ‘print’
      prevents the constraint ‘(Show b0)’ from being solved.
      Probable fix: use a type annotation to specify what ‘b0’ should be.
      These potential instances exist:
        instance (Show b, Show a) => Show (Either a b)
          -- Defined in ‘Data.Either’
        instance Show Ordering -- Defined in ‘GHC.Show’
        instance Show Integer -- Defined in ‘GHC.Show’
        ...plus 23 others
        ...plus 43 instances involving out-of-scope types
        (use -fprint-potential-instances to see them all)
    • In a stmt of an interactive GHCi command: print it

有任何想法吗？

Answer 1

请不要检查一个值是计算平方根广场。 这会将项目映射到“浮点世界”。 这可能会产生舍入错误等。此外，由于您需要在整数世界和浮点世界之间进行所有这些转换，因此使代码更难以阅读。

例如，您可以使用isSquare :: Integral a => a -> Bool arithmoi isSquare :: Integral a => a -> Bool函数 。

import Math.NumberTheory.Powers.Squares(isSquare)

test :: Integral i => i -> i -> [(i,i)]
test m n = filter (isSquare . snd)
    [ (j, (sum . map (^2) . filter ((==) 0 . mod j)) [1..j]) | j <- [m..n]]

例如：

Prelude Math.NumberTheory.Powers.Squares> test 0 1000
[(0,0),(1,1),(42,2500),(246,84100),(287,84100),(728,722500)]