Stop Writing if-checks: Refinement Types in Java 8+ Post date March 17, 2026 Post author By JunggiKim Post categories In java, opensource, typesafety, validation