All posts

F-Bounded Polymorphism: Type-Safe Builders in Java

How a self-referential type bound solves a real inheritance problem, why Java's own Enum uses the same trick, and what it all means in practice.