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 is a generic type and List[int] and List[String] are concretions of this generic. List[Int] are concrete (instantiable) types and List is not.
It feels a little bit... forced, but "concrete" seems to be a word that doesn't sound good when it's transformed. :( I'm calling instantiable types "proper types", by the way (though IIRC I mention the word "instantiable" when explaining them).
-
-
Another idea: List[int] and List[String] are "particular cases" of List. And the process can be called: particularization.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
‘Concrete type’ is correct, check out the Haskell wiki
-
I would make the distinction between a proper type such as `List[A]` and a concrete (and proper) type such as `List[Int]`, though. I don't consider `List[A]` to be concrete, though... but I don't think I got this from any textbook, so I might be being loose with definitions...
- Show replies
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.