What English word would you use to describe a particular example of a type constructor, in the sense that `List[Int]` and `List[String]` are examples of `List`s? I'd like to avoid calling them "examples" if possible.
Show this thread
-
Concrete type?
I wanted to use "concrete type" in opposition to "abstract type", such as `List[T]`, though (if I run with the word "variant") I would consider `List[T]` to be a variant of a `List`, albeit one whose type parameter isn't concretely known...