我想了解Scala中的polytypic概念，我遇到了无形库，这将是学习和应用无形的最佳起点。
答案 0 :(得分：27)
我不知道这是不是你的答案，但是我开始学习/使用无形状的最佳推动力是来自不同Scala会议的几个Miles视频：
From flatmap
ScalaNE 2012
ScalaNE 2013
作为一个大练习 - 我用Spray toolkit写了很多东西，它在内部使用无形。所以尝试编写一些Web服务器或一些客户端。
github的wiki也包含了很好的库介绍。
好主意 - 尝试使用hlists将一些案例类重写为无形记录，将它与一些JSON转换器一起使用非常酷=）。其中大部分都是一些通用的东西，在实际项目中并不是很有用，但是如果你想更好地理解类型级编程，它真的很棒