u/Kreverin r/scala • Recommends
Decisions4s: Complicated Conditionals, Higher Kinded Data and Scala 3
0:00 / 0:00
#scala#higher-kindedtypes#decisions4s
Decisions4s: Complicated Conditionals, Higher Kinded Data and Scala 3
ScalaIO FR
3.4K subscribers • 18 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
Advanced. Deep dive for people who know the field.
404 views1 year ago1 recommendation
Programming languagesSoftware designFunctional programmingLanguage design and type systems
This talk demonstrates how to use higher-kinded data and Scala 3 features to model complex conditional logic with Decisions4s.
Higher-kinded data is a specialised application of higher-kinded types. It allows to wrap the data in a parametrised effect type (e.g. Option) and reuse the structure between different use cases. I would like to share a bit on that not-so-popular topic and when it might be a good pattern to use. I will also show new features of Scala 3 that makes this kind of type wizardy a much more pleasant experience. The talk is based on experiences with building Decisions4s, scala library for handling complicated conditional logic. More info on scala.io/sessions/paris-2024/decisions4s-conditionals-higher…Why it's here
1 person recommends thisWhat people say. Recommended for Scala developers interested in advanced type-level programming and higher-kinded data patterns.