haskell - 错误 : Not in scope: type variable [Haskell]

Question

我想要我的数据类型中的数值列表

数据多项式 = 多项式 {xs::(Num a) => [a] } 推导(显示)

但我仍然收到此错误

error: Not in scope: type variable ‘a’

Answer 1

根据Haskell wiki

In Haskell 98, only functions can have type constraints.

为了做你想做的事，你可以用类型参数声明 Polynomial。然后编写具有适当类型约束的函数。

data Polynomial a = Polynomial xs
    deriving (Show)

这允许您构造具体的多项式类型，例如 Polynomial Int 或 Polynomial Float 甚至 Polynomial String。对 Polynomial 类型进行操作的函数可以在类型参数上声明约束。例如，添加两个多项式的函数可以具有以下签名:

(+) :: (Num a) => Polynomial a -> Polynomial a -> Polynomial a

冲洗并根据每个功能重复。