Skip to main content

All Questions

Filter by
Sorted by
Tagged with
19 votes
2 answers
1k views

A mathematical (categorical) description of type classes

A functional language can be viewed as a category where its objects are types and morphisms functions between them. How do type classes fit in this model? I assume we should only consider those ...
Petr's user avatar
  • 2,611