A unique feature of Higher-Kinded-J is uniting Optics with Effects in a fluent api. In Part 5 we dive into effect polymorphism and how effects structure our code with Higher-Kinded-J's Effect Path API; a fluent interface for computations that might fail, accumulate errors, or require deferred execution.

The Scott Logic Blog offers insights, thought leadership, and technical expertise across various domains including software development, UX design, and financial services technology. Developers can explore articles on emerging technologies, industry trends, and software engineering best practices. Additionally, the blog covers case studies, project insights, and client success stories, providing  perspectives for technology professionals and enthusiasts.

Scott Logic

Effect polymorphism in Java enables structured error handling through railway-style programming. The Effect Path API provides six core types: MaybePath for optional values, EitherPath for fail-fast errors, ValidationPath for accumulating all errors, TryPath for exception handling, IOPath for deferred execution, and VTaskPath for virtual thread concurrency. These types compose naturally through map, via, and zipWithAccum operations, making failure explicit in the type system. The article demonstrates building a type checker that reports all errors in a single pass using ValidationPath, and shows how virtual threads enable lightweight concurrency at scale with structured concurrency patterns.

Functional Optics for Modern Java

Understanding the Underlying Abstractions

Effect Path API vs modifyF: Choosing Your Level