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 @skaalf
Well, yes, but... I'm already saying "type" a lot, and I also need a verb to describe instantiating a type (meaning, to choose it during typechecking)... Nuance is hard!
1 reply 0 retweets 0 likes -
Replying to @propensive
The verb would be "construct" since Listbis a type constructor. Maybe you're overthinking this a little bit
1 reply 0 retweets 0 likes -
Replying to @skaalf
Ah, but constructors construct values, too! And I don't want to suggest I'm constructing an instance of a particular type... And also, I don't want to introduce type constructors explicitly yet. They will come some time after the lesson on monads that I'm writing now... ;)
1 reply 0 retweets 0 likes -
It probably won't be a surprise that the Monads lesson has been the hardest to write so far!
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.
