小编spa*_*dev的帖子

为什么值构造函数不能在不参数化类型的情况下获取类型变量?

作为初学者,我不明白为什么不允许这样做:

data Pair = Pair a b
Run Code Online (Sandbox Code Playgroud)

也就是说,为什么Pair 5 "foo"Pair 'C' []具备生产不同类型的?为什么它们都不允许创建类型的值Pair

我正在学习"Learn you a",RWH和Haskell WikiBook,但是还没有找到那种精确,不稳定的语言来描述我正在寻找的参数化类型.

haskell

4
推荐指数
1
解决办法
156
查看次数

标签 统计

haskell ×1