u/kubukozcats,cats-effectin r/scala • Recommends
The hidden power of Scala's Opaque Types
0:00 / 0:00
#scala#opaquetypes#monadtransformers
The hidden power of Scala's Opaque Types
Jakub Kozłowski
3.7K subscribers • 30 videos on Hallway
- Recommended by 2 people: 2 in engineering communities.
- Presented by Jakub Kozłowski, software engineer
- Linked in the descriptionkubukoz/videos
Advanced. Deep dive for people who know the field.
1.2K views10 months ago2 recommendations
Programming languagesSoftware designScalaFunctional programmingDesign patterns
Jakub Kozłowski demonstrates how to use opaque types in Scala 3 to optimize monad transformers and effect stacks.
There's a way to use opaque types in Scala that I don't think we talk about nearly enough, and I think we should! If you enjoyed this video, please like and subscribe, and hit the bell icon so you don't miss another one ;) Links: - Source code github.com/kubukoz/videos/tree/main/opaque-type-effects - Opaque Types documentation docs.scala-lang.org/scala3/book/types-opaque-types.html - Variance of Monad Transformers in Cats: typelevel.org/blog/2018/09/29/monad-transformer-variance.htm… I'm on X: x.com/kubukoz on GitHub: github.com/kubukoz sometimes stream on Twitch: twitch.tv/kubukoz And you can buy me a coffee if you want: ko-fi.com/kubukoz Chapters: Introduction Typical opaque type usecase Example - problem overview Example - opaque monad transformers Now with the Free monad! Now with Ref! Mixing with other effects Back to type aliases! Summary