I've been using the term parameterized types for our specialized generics. But I don't really like that term because it is confusing when talking about method parameters, and method parameters being parameterized. It's like whose on first. So I'm going to use these terms:
Variant Type: a template base type. List, Map, and Method are variant types
Variegation: the process of parameterizing a variant type's signatures
Variegated Type: a derived type which has been variegated, Str[] is a variegated type of List
Variance: a parameter of a variegated type, V is a variance for List
brian Mon 30 Jan 2006
I've been using the term parameterized types for our specialized generics. But I don't really like that term because it is confusing when talking about method parameters, and method parameters being parameterized. It's like whose on first. So I'm going to use these terms:
Str[]is a variegated type of List