问题
I'm looking for a very comprehensive review of statically resolved type parameters. What exactly can be done with them, what their limitations are, what are the effects of using them, how they combine with normal type parameters, and how do instance-level inline members work.
The specification itself offers very little on the subject, mentioning them only in passing. It says nothing about the ability to have types with such type parameters (e.g. type Example< ^a>), how exactly the keywords and and or can be used when specifying complex member constraints, how much member signatures have to conform to the signature of the constraint, and so forth.
I've really only found introductory material and some very specific information, nothing in the form of a comprehensive overview.
来源：https://stackoverflow.com/questions/29081215/in-depth-description-of-statically-resolved-type-parameters