haskell - 为什么类可以用作类型参数？有什么用？

Question

我无意中发现下面是一段完美的编译代码：

class SomeClass a

someValue :: Maybe (SomeClass a)
someValue = undefined

我只习惯于在类型约束中查看类，所以我不明白为什么这段代码会进行类型检查以及以这种方式使用类的目的是什么。

我在 GHC 7.6.2 上。

score 11 · Accepted Answer

11

这是 ghc-7.6.2 中的一个错误。这应该是一个善意的错误。请报告。

于 2013-04-09T13:52:07.983 回答

score 3 · Accepted Answer

3

错误。

A.hs:3:21：类“SomeClass”用作类型
In the type signature for `someValue':

于 2013-04-09T13:43:58.440 回答

2 回答 2