Higher-Kinded-J

Higher-Kinded-J enables the implementation of functional patterns in Java 25, including type-safe lenses for immutable records, algebraic effect handling for side-effect decoupling, and compile-time mapping for DTOs. It provides architectural structures to separate functional core logic from imperative shells.

This project targets senior Java engineers and architects focused on building robust, maintainable systems using functional programming paradigms. It is designed for developers seeking to reduce boilerplate, eliminate reflection-based mapping, and enforce strict type safety across complex data navigation and error handling.

Implementation requires Java 25 and familiarity with functional programming concepts such as monads, lenses, and prisms. Users should have an existing Spring Boot environment if utilizing the HTTP response integration, and a build system capable of handling compile-time code generation for record mapping.