How to write like Cats

Transcript

1. How to write like cats
3. What we won’t be talking about What we will be talking about • Category theory • Monads, Monoids, Functors etc. • Effect types • Polymorphism • Type classes • Implicits
4. Subtype polymorphism
5. Subtype polymorphism ↓ Ad-hoc Polymorphism (Type classes)
7. Live coding! github.com/MontyWest/tech-talk-typeclass
8. Type Classes • Can add functionality to types you don’t ‘own’. • Can change functionality in different scopes. • Higher level of abstraction, composability and applicability. • Enables library like Cats, allows others to do your work for you!
9. Links to follow • Typelevel Cats: https://typelevel.org/cats/ • Typelevel blog: https://typelevel.org/cats/typeclasses.html • Talks: ◦ Petra Bierleutgeb, Polymorphism in Scala: https://www.youtube.com/watch?v=-SA1Ui283Qc ◦ Rob Norris, ScalaX keynote: https://skillsmatter.com/skillscasts/11626-keynote- pushing-types-and-gazing-at-the-stars
10. Thanks for listening! Any Questions?