Type Classes

Type Classes

Share this post

Type Classes
Type Classes
What we talk about when we talk about types

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.

Chris Martin's avatar
Chris Martin
May 31, 2017
∙ Paid
1

Share this post

Type Classes
Type Classes
What we talk about when we talk about types
Share

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.

Already a paid subscriber? Sign in
© 2025 Mission Valley Software LLC
Privacy ∙ Terms ∙ Collection notice
Start writingGet the app
Substack is the home for great culture

Share