Como você usa records, tipos sealed e pattern matching no Java moderno?

Records são carregadores imutáveis e transparentes: você declara os componentes e ganha construtor canônico, acessores, equals, hashCode e toString. Interfaces sealed restringem quais tipos podem implementá las, então um switch sobre esses tipos pode ter exaustividade checada em tempo de compilação, sem branch default. Record patterns então permitem desestruturar dentro do switch, o que transforma uma cadeia de instanceof com cast em uma única instrução legível.

Eu uso os três juntos. Uma interface sealed declara o conjunto fechado de casos, cada caso é um record com seus próprios componentes, e aí um switch com record patterns trata todos. Então um resultado de pagamento vira uma interface sealed com os records Approved, Declined e Pending, e o switch desestrutura cada um direto nos seus campos. O compilador força a exaustividade, e esse é o benefício real: quando alguém adiciona um quarto caso, todo switch que trata o tipo deixa de compilar em vez de cair silenciosamente num branch default e fazer a coisa errada. Records também me deram equals e hashCode corretos de graça, e um construtor compacto é um lugar natural para validar, então um valor não pode ser negativo em nenhuma instância que exista. As ressalvas que eu cito são que um record é imutável apenas de forma rasa, então um record que guarda uma lista ainda pode ser mutado por meio dessa lista a menos que eu copie no construtor, e que eles são um encaixe ruim para entidades JPA, que querem construtor sem argumentos e estado mutável.