代码之家 › 专栏 › 技术社区 › Zaid

为什么Haskell将我的num类型解释为枚举?

typeclass type-inference haskell

Zaid · 技术社区 · 15 年前

我试图在haskell中编译以下函数,以模拟一个多项式的微分,该多项式的常数在数字列表中指定:

diff :: (Num a) => [a] -> [a]
diff [] = error "Polynomial unspecified"
diff coeff = zipWith (*) (tail coeff) [0..]

Haskell拒绝编译它,给出了以下原因:

Could not deduce (Enum a) from the context (Num a)
 arising from the arithmetic sequence `0 .. ' at fp1.hs:7:38-42
Possible fix:
 add (Enum a) to the context of the type signature for `diff'
In the third argument of `zipWith', namely `[0 .. ]'
In the expression: zipWith (*) (tail coeff) ([0 .. ])
In the definition of `diff':
diff coeff = zipWith (*) (tail coeff) ([0 .. ])

为什么哈斯克尔治疗 [0..] 作为枚举类型列出,以及如何修复此问题。记住,我想利用这里懒惰的评价,从而得到无限的清单。

4 回复 | 直到 13 年前

yfeldblum 15 年前

[0..] 句法上的糖分 enumFrom 0 ,在类中定义 Enum . 因为你想生成一个 a 带着 〔0〕 编译器要求 一 上课 枚举 .

您可以添加 Enum a 函数的类型签名或通过生成 [0..] :: [Integer] 并使用 fromInteger (在类中定义) Num 为了得到一个 [a] 从:

diff :: (Num a) => [a] -> [a]
diff [] = error "Polynomial unspecified"
diff coeff = zipWith (*) (tail coeff) (map fromInteger [0..])

Dario 15 年前

正确的类型 diff 必须是

diff :: (Num a, Enum a) => [a] -> [a]

因为使用 [x..] 需要类型来实例化 Enum .

newacct 15 年前

[0..] 是 enumFrom 0 See here

Michael Steele 15 年前

以下是编译器查看此函数时看到的内容的快速摘要:

[0..]是同时具有num和enum实例的列表。因为“0”,它必须是一个num,因为“0”,它必须是一个枚举。
我被要求对coeff和[0..]的元素逐一应用(*)。由于(*)的两个参数必须是同一类型并且[0..]具有枚举的实例,因此coeff还必须具有枚举的实例。
错误!diff的类型签名只提到coeff有一个num实例,但我已经确定它至少也必须有一个num实例。

推荐文章

Picci · Typescript推断问题-导出函数的返回类型具有或正在使用名称。。。但无法命名

6 年前

sweisgerber.dev · 将var与文本一起使用是否会产生一个基元或基元包装器类?

6 年前

Michael Runzler · 动态类型化方法中的奇数型推理

7 年前

K.Os · Kotlin和RxJava类型推断失败

7 年前

Crazycolorz5 · (^)上的类型推断问题

7 年前

Igor Soloydenko · 广义“promisify”函数中的类型脚本类型推断

7 年前

Josh Stone · Scala类型推断错误

7 年前

LazyHatIQ · 类型脚本类型推断、扩展语法和多类型返回

7 年前

hkk David Calhoun · Tern无法使用JSDoc类型信息

7 年前

MasterScrat · 将TypeScript编译器推断出的类型添加到原始TS源代码中

7 年前