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 you go that route you could also say something like; the concrete realisation of the generic type constructor, where realisation is a verb (and better than made up ones). I wouldn't be confused by that, then again I wouldn't be confused by instance or example either.
I like the word "realisation": it's not overloaded, and already has meaning in natural language. I'm a little hesitant to use it in a way which suggests it is used universally for this precise meaning, and I'm thinking that "variant" may be the way to go...
-
-
...but I don't think it would be inappropriate to use "realisation" without giving it an explicit technical definition in contexts where the meaning is clear: not using the same technical term over and over again can help readability generally.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
sure, variant also has some other common meanings in software so I guess it depends what your preferences are. Just some ideas.
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.