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
-
‘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...
-
-
Unless you want to explain kinds though, I don’t think it’s worth making fine-grained distinctions like that to learners
-
I will be explaining kinds later, so I want to set the right foundations for that to come. But you're right, these are all details that beginners shouldn't have to worry about.
End of conversation
New conversation -
-
-
Technically, I think List[A] is: forall A. List[A] So a universally quantified type
-
Yes, universally quantified... but to a type that tells us almost nothing about it. It's no wonder people find this complicated. ;)
- 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.