2

Typeable我可以通过推导然后执行来获得具体类型的字符串表示形式show . typeOf。但是，我不能Typeable为包含除*.

是否有任何通用方法可以打印出包含此类类型的类型？

简短说明：

我的意思是类型如

data FM10 (a::RGB_Channel)

在哪里

data RGB_Channel = Red | Green | Blue
4

1 回答 1

2

正在研究多态类型。从本质上讲，您当前对种类类型所做的操作*将适用于所有种类。计划将其包含在GHC 7.8中

于 2013-01-10T18:21:30.177 回答