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
-
Specialization? Might not hold for all the uses, but kind of tells what you mean, right?
Not quite, for similar reasons... I might say that `List[Int]` is a specialization of `List[AnyVal]`, but I would need `List` to be a proper type and not a type constructor to feel like "specialization" is the right term. This is like playing Minesweeper with overloaded words...
-
-
Right... Tricky thing you are looking for here I fear
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.