DDD（领域驱动设计）和ADT（代数数据类型）