Haskell泛化多元多项式类型时遇参数化类型错误求助

错误核心原因 #

你遇到的错误是类型构造器的使用方式错误：

• Monomial是带类型参数的类型构造器（kind为* -> *），必须接收一个具体类型（比如Int、Double）才能生成完整的类型（kind为*）。
• 你写的M Monomial a把Monomial和a拆成了两个独立部分，但M构造器需要的是一个完整的单项式类型——也就是Monomial a，正确写法应为M (Monomial a)。

另外，DatatypeContexts（即data Num a => ...这种在类型定义上加约束的语法）已被现代Haskell废弃，这种写法会降低代码灵活性。更合理的做法是在操作多项式的函数上添加Num约束，而非在类型本身绑定约束。

修正后的代码 #

import Data.Sequence (Seq)

data Polynomial a = Zero
                  | M (Monomial a)
                  | Polynomial a :+: Polynomial a
                  | Polynomial a :*: Polynomial a
                  deriving (Show, Eq)

data Monomial a = Monomial {
                     coefficient :: a,
                     powers      :: Seq Int
                   }
                   deriving (Show, Eq)

-- 示例：在操作函数上添加Num约束，而非类型定义
addPoly :: Num a => Polynomial a -> Polynomial a -> Polynomial a
addPoly p1 p2 = p1 :+: p2

额外说明 #

• 若要确保系数支持数值运算，只需在add、multiply这类操作函数上添加Num a约束即可，类型定义本身无需绑定约束，这样Polynomial类型能适配更多场景（比如后续支持非数值系数的需求）。
• 代码中需要导入Data.Sequence模块来使用Seq Int类型。

内容的提问来源于stack exchange，提问作者Stéphane Laurent