Post #1748
952
People in the know say it's a daily-worth material, https://youtu.be/FTmmG3Dx8HA
YouTube Typeclasses from the viewpoint of type theory and category theory. Part 1 This is part 1 of a tutorial describing a "theory of typeclasses" as used in functional programming.
I give an overview and a summary of typeclass derivation patterns that the "theory of typeclasses" discovers and validates.
The main result: there exists… - 🔥 7