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
-
you seem to have already settled, but I'd have gone with "materialisation" (which is I suppose just reification but with a less fancy name)
I actually didn't really consider reification, and should have! I don't think it was clear in any way from my question, but in my particular usage, I didn't want the word to focus too much on how the type came into being, because that requires understand of type constructors...
-
-
... rather, I wanted a way of relating the different reifications (incarnations) of List to each other, in a way that acknowledges they (obviously) have similarities.
-
and this is why I'd avoid the term reification (which is correct, but also has a slightly different meaning within the bowels of the JVM). Plus, it might be more difficult to understand from a non-native English with no Latin exposure background.
- Show replies
New conversation -
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.