En la lección analizamos las jerarquías cerradas en Java 17+: cómo declarar clases e interfaces con el modificador
sealed, indicar las subclases permitidas mediante
permits, elegir el estado de las subclases (
final,
sealed,
non-sealed) y por qué esto refuerza la verificabilidad de
switch con pattern matching sin la rama
default. Veremos ejemplos con modelos de dominio, la interacción con
interface y
record, así como errores típicos.