Written form: https://blog.rockthejvm.com/tagless-final/
In this video, we'll demonstrate Tagless Final, one of the design patterns in Scala (and other FP languages like Haskell) that have generated the most confusion among programmers. We'll discuss what tagless final is, what kind of problem it solves and how it relates to the infamous F[_] style in Scala. We'll also show how tagless final helps us write more modular code.
The tagless-final approach is popularized by the Cats and Cats Effect libraries in the Typelevel ecosystem. We teach both at Rock the JVM:
Cats: https://rockthejvm.com/p/cats
Cats Effect: https://rockthejvm.com/p/cats-effect
Follow Rock the JVM on:
LinkedIn: https://linkedin.com/company/rockthejvm
Twitter: https://twitter.com/rockthejvm
Blog: https://rockthejvm.com/blog
-------------------------------------------------------------------------
Home: https://rockthejvm.com
-------------------------------------------------------------------------