3
如何界定多态函数：群和无形扩展记录
- 接受包含组指定字段的任何记录（田超）
- 收益与无形-2.3指定字段集 的任何子集？
我发现solution for single field为1，但我需要使用一组字段。我发现suggestion为每个字段定义了包含implicits的类，但是我认为它应该不像使用Scala这样的高级语言来定义它。我发现一个assumption比SelectAll特质可以用于那个，但不具体的例子可以如何使用它。