Refinement types for Scala
Additionally, I also like to use Refined, so that my names are actually NonEmptyStrings, and I'll usually go even farther and make a LastName type alias to NonEmptyString and a FirstName type alias to NonEmptyString so that I can legitimately return just Char as an initial, for example. That way parsing guarantees you're not just sending me empty stuff that is just as useless as an empty person, and also so that I don't accidentally put a FirstName where a LastName should go somewhere in my code.
Help me break the fourth wall
1 project | reddit.com/r/scala | 25 Apr 2022
Help with Single Value Validated Types
2 projects | reddit.com/r/scala | 27 Aug 2021
Types versus sets in math and programming languages
1 project | reddit.com/r/ProgrammingLanguages | 24 Jul 2021
Using refined to improve type safety and error reporting in Scala
1 project | reddit.com/r/scala | 12 Apr 2021
Why there is still no ExpressJS-like alternative in Scala?
5 projects | reddit.com/r/scala | 7 Jan 2021