Refined Types in Scala | Rock the JVM

A tutorial on using refined types in Scala to validate data at compile time and prevent runtime errors.

Written version: blog.rockthejvm.com/refined-types/ Topics referred to in this video: Type-Level Programming in Scala - youtube.com/playlist?list=PLmtsMNDRU0ByOQoz6lnihh6CtMrErNax7 Refined library: github.com/fthomas/refined Shapeless library: github.com/milessabin/shapeless This video is for the comfortable Scala programmer - ideally you'd have watched the Type-Level Programming mini-series, as it will give you a warmup for this practical technique. This video solves a practical Scala problem in which error-prone code can be validated at compile time and avoid a variety of runtime problems. At the same time, refined types will allow you to write clean Scala code without the need to add error-checking or defensive code. Follow Rock the JVM on: LinkedIn: linkedin.com/company/rockthejvm Twitter: twitter.com/rockthejvm Blog: rockthejvm.com/blog ------------------------------------------------------------------------- Home: rockthejvm.com -------------------------------------------------------------------------