Stop Writing if-checks: Refinement Types in Java 8+

The Code That Lives in Every Java Codebase Every Java developer has written this code. You have written this code. Probably this week. A method starts with five lines of null checks, blank checks, and range checks before a single line of business log...