Jac*_*ang 4 optimization profiling haskell
当我使用-hy标志来分析程序的堆使用情况时
./prog +RTS -hy
Run Code Online (Sandbox Code Playgroud)
我经常*在结果中看到构造函数,以及其他构造函数,例如[]和Word8。
*在这种情况下是什么类型?有关系kinds吗?
引用真实世界的Haskell:
还有一些堆分配的未知类型的数据(表示为“ *”类型的数据)。
并且在《GHC用户指南》中:
对于具有函数类型或未知/多态类型的闭包,字符串将表示实际类型的近似值。
因此,这基本上意味着配置文件没有足够的信息来说明它是什么类型。