OOP versus Type Classes in Scala

on YouTube ↗49m

" summary

Compares OOP’s single-dispatch subtype polymorphism (good for resource management, encapsulation and hiding implementation) with type classes as compile-time dictionaries that enable extension, automatic instance derivation via shapeless or magnolia, and practical uses like JSON serializers, a collection-builder sequence implementation, a pure iterator expressed as a state monad, and a safe-logging type class. Shows failures too: monads can’t cleanly become OOP data constructors, f‑bounded polymorphism is awkward, and warns type classes must be coherent and must not keep state. Use OOP for resources and type classes for serialization and data construction.

AI-written summary · about

" chapters (13)

1. 0:00Start
2. 4:35Abstraction
3. 6:04The Black Box Abstraction
4. 9:57Subtype Polymorphism
5. 13:38Parametric Polymorphism
6. 17:30Type Classes
7. 20:47Resource Management
8. 23:47Type Class Super Powers
9. 31:00Design Patterns
10. 31:46Use Type Classes for Data Serialization
11. 39:27Type Classes Must Not Keep State
12. 40:35Add the Environment
13. 47:36Output Errors

" related talks

• 48mObject Functional ProgrammingRahul Goma Phulore · Functional Conf 2014
• 31mTYPECLASSES — A TYPE SYSTEM CONSTRUCTAndrea Lattuada · Scalar Conference 2017
• 20mType Classes for the Rest of UsAndrew Kuhnhausen · Scale By the Bay 2017
• 41mPolymorphism in ScalaPetra Bierleutgeb · Scala Days Lausanne 2019
• 31mType-Classes (in Scala 3)Alexandru Nedelcu · Scalar 2026
• 45mHow to be polymorphic in ScalaYuriy Polyulya · JavaDay 2013
• 58mSeparating Behavior and Data with Type Classes in ScalaRaúl Raja Martínez · WeCodeFest 2018
• 35mIntroducing Typelevel Scala into an OO environmentMarcus Henry · Typelevel Summit Philadelphia 2016