当我使用-hy标志来分析程序的堆使用情况时
./prog +RTS -hy
我经常在结果中看到构造函数
*
以及其他构造函数,例如[]
和Word8
。在这种情况下,
*
是什么类型?与kinds
有关吗? 最佳答案
引自Real World Haskell:
还有一些堆分配的未知类型的数据(表示为“ *”类型的数据)。
在GHC User's Guide中:
对于具有函数类型或未知/多态类型的闭包,字符串将表示实际类型的近似值。
因此,这基本上意味着配置文件没有足够的信息来说明它是什么类型。