New answers tagged

1 vote

A mathematical (categorical) description of type classes

Here is a categorical description of (certain kinds of) typeclasses. So far, I can fully elaborate this only for simpler typeclasses such as monoids or semigroups, not for type constructor typeclasses ...
  • 181

Top 50 recent answers are included