你如何调试类型级代码?

Kai*_*ang 7 scala type-level-computation shapeless

大多数情况下,你得到的是一个隐含的未找到的错误.你不知道隐式构造链在哪里失败了.显然你不能使用运行时调试或打印语句.那么除了盯着你的代码之外,你如何调试类型级程序呢?

Alv*_*sco 3

我希望我有一个更好的答案,但事情是这样的:开始显式传递参数,一次一个,直到它给你一个更有用的错误。(为隐式参数添加-prinlns-equivalent)