Tagless Final in Scala

An explanation of the Tagless Final design pattern in Scala, how it solves modularity problems, and its relation to higher-kinded types.

Written form: 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: rockthejvm.com/p/cats Cats Effect: rockthejvm.com/p/cats-effect Follow Rock the JVM on: LinkedIn: linkedin.com/company/rockthejvm Twitter: twitter.com/rockthejvm Blog: rockthejvm.com/blog ------------------------------------------------------------------------- Home: rockthejvm.com -------------------------------------------------------------------------