基于 ADT ：现代 Java 如何通过类型系统保障领域建模的安全 今天，我想依托于现代 Java 的新特性，和大家分享一些新的写法：基于 ADT（代数数据类型）、密封类（Sealed Classes）和模式匹配（Pattern Matching），在类型系统的层面，彻底保障领域建模的安全。