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
-
If S is generic, then Int and String are “specifications” or better “particularisations”? I stand by “reification” but it might not be the most familiar word
Yes, reification is pretty close to the right word, though you're right: it's not so well know, even in dictionaries. Particularization sounds quite convoluted, though, and specification has too many other meanings...
-
-
I agree, quite mouthful words. I read later you chose “incarnation”: it’s a metaphorical long shot but it might work well! Wording is so hard. I realised my most used bangs on DDG are !define and !syn
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.