深度描述静态解析的类型参数

Question

我正在寻找对静态解析类型参数的全面审查。究竟可以用它们做什么，它们的局限性是什么，使用它们有什么影响，它们如何与普通类型参数结合，以及实例级内联成员如何工作。

规范本身在这个问题上提供的很少，只是顺便提一下。它没有提及具有此类型参数的类型的能力（例如type Example< ^a>），在指定复杂成员约束时可以使用关键字and和or的准确程度，成员签名的数量必须符合约束的签名，等等。

我真的只找到了介绍材料和一些非常具体的信息，没有全面概述的形式。