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
-
`List[Int]` and `List[String]` are elements of `List`?
I'd go a hard "no" on that, just because "element" is so widely used to refer to the arbitrary number of items in a collection...
-
-
Which for me each of these is: an element of a set of all possible lists. After all type constructor is just a function from one set/type into another.
-
Yes, true, but it's not a function over *values* and if I can nail a word like "function" to "function over values" it makes a lot of things easier elsewhere...
End of conversation
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.