在 [x|x<-[1..n]] 中替换 n

Question

test n = (sum s)*4+2*(n-1)*((l')^2)-2*(n-1)*(l')
    where 
      p =sort $[ m | a<-[1..(n-1)],b<-[1..(n-1)],let m= (b/a), (a^2+b^2< (n^2))]
      l'= length p
      s = (product a) : next a (group p)
        where 
          a = [(n-1),2*(l')+(n-2)] 
          next [x,y] (z:z':zs) = case (null zs) of
            False -> (x')*(y')*l : next [x',y'] (z':zs)
            True -> (x')*(y')*l :[]
            where 
              l  = length z
              x' = x+l
              y' = y-length z'

为什么上面的代码会报如下错误：

没有因使用“/”而产生的 (Fractional Int) 实例 在表达式中：(b / a)

在“m”的等式中：m = (b / a)

在‘($)’的第二个参数中，即

 ‘[m |
    a <- [1 .. (n - 1)],
     b <- [1 .. (n - 1)],
     let m = (b / a),
    (a ^ 2 + b ^ 2 < (n ^ 2))]’

但是当我在代码中手动替换 n=3 时：

test' = (sum s)*4+2*(3-1)*((l')^2)-2*(3-1)*(l')
    where 
      p = sort $[ m | a<-[1..(3-1)],b<-[1..(3-1)],let m= (b/a), (a^2+b^2< (3^2))]
      l'= length p
      s = (product a) : next a (group p)
        where 
          a = [(3-1),2*(l')+(3-2)] 
          next [x,y] (z:z':zs) = case (null zs) of
            False -> (x')*(y')*l : next [x',y'] (z':zs)
            True -> (x')*(y')*l :[]
            where 
              l  = length z
              x' = x+l
              y' = y-length z'

然后就可以在GHCi中运行了；发生了什么事？

Answer 1

当你输入n 时，你用你的表达式强制它变成Int。因此，b 和a 变成了Ints，这在a/b 中出现了问题。

当您编写3 时，多态文字允许一些表达式使用Int，而另一些则使用其他一些Fractional a => a。在该函数中使用的 3s 只是不同的值。

创建一个不同的值，例如 nP = fromIntegral n should allow you to use n in every context，因为 nP 不应该被任何表达式僵化。