Conversation

Julie made a really great decision to explain the notion of higher-kinded types at the very beginning of this course. We have to first get a solid grasp on what type constructors *are* before we study classes of them (e.g. Monad).
Quote Tweet
In the first lesson of the Functortown course, we look at why we want functors, what they have in common, and where the word "functor" comes from. typeclasses.com/functortown/fu
2
62
“A higher-kinded type is a type-level higher-order function (as a type constructor is a type-level function)” has given me a lot of mileage when explaining Functor/Applicative/Monad/Foldable/Traversable/&c. I find a lot of resources gloss over what exactly is “higher” about them.
2
5