#java
#types
#patterns
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.
1 post on types, compilers, and functional programming.