Haskell本地函数不在范围内

Question

以下函数应该返回具有多项式的列表中所有多项式的和作为浮点列表。 （即：4x²+ 2X + 1将[4,2,1]和5x⁵+ X + 2 [5,0,0,0,1,2]）

psum :: [[Float]] -> [Float] 
psum (x1:x2:xs) = psum (binpsum (x1, x2)):xs 
psum x = x 
    where binpsum (x:xs) (y:ys) = x+y:binpsum (xs, ys) 
      binpsum (x) (y:ys) = x+y:ys 
      binpsum (x:xs) (y) = x+y:xs 

我越来越

Not in scope: ‘binpsum’ 

这是我第一次和Haskell的工作，所以我” d猜测我在使用binpsum (x1, x2)的方式中有错误，因为我在where子句中找不到任何错误。

谢谢！

Answer 1

where子句只提供与上面（或左边）正方程式的绑定。你可以通过将其移动到psum的第一个实际使用位置来解决此问题。

除此之外，还有一些我看到在你的代码各种额外的误解：

1. 当一个函数像f x y定义，它必须调用也喜欢（不喜欢f (x, y)）。
2. 如果您想对列表中的单个项目进行模式匹配，则必须将该项目括在方括号中以指示它确实是您要绑定的项目，而不是列表本身。
3. 如果函数的参数是多个单词/符号的表达式，则通常需要将其括在括号内（例如f (a + b)而不是f a + b）。

这里是一个版本的代码，编译：

psum :: [[Float]] -> [Float] 
psum (x1:x2:xs) = psum (binpsum x1 x2 : xs) 
    where binpsum (x:xs) (y:ys) = x+y : binpsum xs ys 
      binpsum [x] (y:ys) = x+y : ys 
      binpsum (x:xs) [y] = x+y : xs 
psum [x] = x 

Answer 2

您的功能binpsum仅在第二个定义的范围内。你可以把它改写下列方式之一：

psum :: [[Float]] -> [Float] 
psum (x1:x2:xs) = psum (binpsum x1 x2):xs 
    where 
    binpsum (x:xs) (y:ys) = x+y : binpsum xs ys 
    binpsum (x) (y:ys) = x+y:ys 
    binpsum (x:xs) (y) = x+y:xs 
psum x = x 

或更好：

psum :: [[Float]] -> [Float] 
psum lst = case lst of 
    x1:x2:xs -> psum (binpsum x1 x2) : xs 
    _  -> lst 
where 
    binpsum (x:xs) (y:ys) = x+y : binpsum xs ys 
    binpsum (x) (y:ys) = x+y : ys 
    binpsum (x:xs) (y) = x+y : xs 

编辑：在你的代码中的一些修正后，虽然，它应该是这样的：（我做到了编译，我不知道它做你的原意）

psum :: [[Float]] -> [Float] 
psum lst = case lst of 
    x1:x2:xs -> psum $ binpsum x1 x2 : xs 
    [x]  -> x 
    where 
    binpsum [x] (y:ys) = x + y : ys 
    binpsum (x:xs) [y] = x + y : xs 
    binpsum (x:xs) (y:ys) = x + y : binpsum xs ys 

注意binpsum (x:xs) (y:ys)现在是在年底为[3]将匹配(x:xs)与x = 3和xs = []。