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
-
Concretions / concretizations?
I didn't want to go with anything suggesting an opposite to "abstractness" because although List[T] has an abstract type parameter, it's still a proper type, and it's fully-specified (unlike List). But I've been finding that types have too many dimensions of specificity...