Refined, Tailor-Made Types

on YouTube ↗26m

" summary

Refined integrates validation rules into Scala types so invalid values are rejected at compile time or produce structured runtime errors via the from constructor. It shows using play-refined for JSON (de)serialization and error mapping in Play, and migrating a REST DTO layer to refined types so service code receives already-validated values. It reports production use works but reduces ergonomics (numeric operations need .value or implicits) and requires extra library imports to restore usual operations.

AI-written summary · about

" chapters (6)

1. 0:00Intro
2. 1:00Why Refined?
3. 3:28Refined: The Concept
4. 6:56Compile-Time Validation
5. 11:28String & Collection Predicates
6. 19:16Conclusion

" related talks

• 44mTelling the Truth with TypesChristopher Davenport · Typelevel Summit Philadelphia 2019
• 33mArmored type safety with IronRaphaêl Lemaitre, Valentin Bergeron · Scala.IO 2024 - Nantes
• 42mLet the Compiler Help You: How to Make the Most of Scala's Type SystemMarkus Hauck · Scala.IO 2017
• 49mThe Trouble With TypesMartin Odersky · Strange Loop 2013
• 01h 09mRefraction of Reality: Dynamic Validation with Static TypesMikhail Bashurov · HolyJS 2020 Moscow
• 33mPurifying TypescriptTimothy Clifford · Full Stack Fest 2018
• 21mThe long-tail of type safetySimon Sturmer · Reactathon 2023
• 48mA gentle introduction to type level programming in ScalaMarcus Böhm · Scala.IO 2016