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 @schrepfler
By the way, I had a different thread on the meaning of "template" the other day, and the meaning is very closely related, though I intend template to basically be "the class or trait definition, including the constructor and method implementations".
1 reply 0 retweets 0 likes -
Replying to @propensive
Template is also bad because it is overloaded with its C++ meaning which has its own implementation baggage.
1 reply 0 retweets 1 like
Replying to @schrepfler
Yes, though I'm trying to reclaim that from C++!
11:03 AM - 26 Jan 2021
0 replies
0 retweets
0 likes
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.