文章/答案/技术大牛

发布

社区首页 >问答首页 >为什么这两者都需要(Eq t，Num t)作为类型类？

问为什么这两者都需要(Eq t，Num t)作为类型类？
EN

Stack Overflow用户

提问于 2022-01-01 19:18:48

回答 1查看 66关注 0票数 0

所以我在Haskell做了一些运动，我认为int2nat的类型

int2nat :: (Eq t, Num t) => t -> Nat

int2nat 0 = Zero
int2nat n = Succ (int2nat (n-1)

会是int2nat :: (Num t) => t -> Nat。

有人能解释为什么不是这样，为什么额外的Eq t是正确的呢？

发布于 2022-01-01 19:37:50

因为您在模式中的数字文本0上匹配。int2nat 0 = Zero去做int2nat n | n == fromInteger 0 = Zero之类的东西。

票数 1

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/70551256

复制

相似问题

问为什么这两者都需要(Eq t，Num t)作为类型类？EN