Safe, Expressive Code with Refinement Types
As developers we devote a lot of time and attention to validating the data we receive and process. In this blog post I will explore _refinement types_ and their implementation in Scala's `refined` library.
Gordon Rennie