In the process of rewriting and documenting better ε-serde we have to discuss several times two subcategories of type parameters for a type `T`:

• Type parameters that are the type of some field of T, as in field: A;
• Type parameters that appear in the definition of some field of T, but they are not the type of the field, as, in field: Vec<A>.

The two categories may overlap, as a type parameter can appear in both ways.

Which names would you use? One idea is "field type parameter" and "auxiliary type parameter". But I would like to know how they resonate with other people, or if there's some established naming for this (I couldn't find anything).

1 post - 1 participant

Read full topic