ADT4J

Supports recursive definitions without special handling, enabling easy creation of complex structures like expression trees, as shown in the Expression example.

Automatically generates hashCode, equals, and toString with value semantics, reducing boilerplate and ensuring consistency in data comparisons.

Allows custom names and access levels for generated methods like predicates and getters, providing flexibility in API design, as per the @Getter annotations.

Implements type-safe pattern matching through visitors, enabling clear and safe operations on data variants, demonstrated in the eval() method example.