What we talk about when we talk about types
Dialogues in which we pedantically dissect the relationship between types, type constructors, typeclasses, the instances that tie them all together, and set theory.
What we talk about when we talk about types
These dialogues somewhat pedantically dissect what we mean when we say a type is an instance of a typeclass or a type has an instance of a typeclass and why. Through the course of conversation, we touch on the nature of types, type constructors, and typeclasses, which led to us talking about math, set theory an…
Keep reading with a 7-day free trial
Subscribe to Type Classes to keep reading this post and get 7 days of free access to the full post archives.