更高类型的 WeakTypeTag

Question

考虑以下宏声明：

def someMacro[Alg[_[_]]](c: Context)(implicit alg: c.WeakTypeTag[Alg[_]])

不幸的是它没有编译。 错误：

 _$2 takes no type parameters, expected: 1

有办法解决吗？

Answer 1

尝试WeakTypeTag以获得更高种类的存在类型（在forSome表示法中）

def someMacro[Alg[_[_]]](c: Context)(implicit alg: c.WeakTypeTag[Alg[F]] forSome { type F[_] })

class 的自类型注释，类型更高

在 reify 调用中搜索隐式（scala 宏）

Scala 中是否有类型变量 'm forSome { type m[O] <: UpperBound[O] }` 的简写？

如何在 Scala 中定义存在的高级类型

存在高级类方法参数