我正在寻找对静态解析类型参数的非常全面的审查。它们到底可以做什么，它们的局限性是什么，使用它们的效果是什么，它们如何与普通类型参数结合，以及实例级内联成员如何工作。
规范本身对这个主题的介绍很少，只是顺便提到了它们。它没有提到具有此类类型参数的类型的能力（例如type Example< ^a>），关键字到底如何and and or可以在指定复杂的成员约束、成员签名必须符合约束签名的程度等时使用。
我实际上只找到了介绍性材料和一些非常具体的信息，没有任何全面概述的形式。
None
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
