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
-
Replying to @propensive
I don’t think there’s anything wrong with instances or instantiations tbh. My second fave would be specialisation.
1 reply 0 retweets 2 likes -
Replying to @justinhj
My problem with instance and instantiation is that it makes the context too important. I can append "...of a type" to either word and it's still just as unclear! One is a compiletime instantiation, one is a runtime instantiation, but of different (but related) things...
1 reply 0 retweets 0 likes -
Replying to @propensive
The hard part is going back in time to before I just thought of it as an instance. On the bright side there are many ambiguous and vague terms for the beginner to look forward to
1 reply 0 retweets 1 like
Yes, the number of different dimensions in which a type may be specified (or not) is bewildering...
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.