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
-
Type Application? I suppose this is clearer in Haskell, since they use a similar syntax for function/type applications, as well as for types of functions and kinds of type constructors... Used for?
Broadly, I'm writing a lesson about functors and monads for ScalaZONE, and I'm trying to strike a balance between being precise enough with my language while keeping it readable.
-
-
Oh, I meant the alternative wording "`List[Int]` is read as -List used for Ints`"... It is difficult idea that `_/\_T. List[T]` is not a type, but a function of types... that it does not classify values. Bit like "f(x) = 2*x" is not a number...
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.