Verifone架构师Yuri Geronimus在KotlinConf 2026分享：支付系统需满足多国监管规范，他用Kotlin类型系统将规范写入代码，让编译器强制校验。通过值类、密封接口、非空边界、脱敏默认等十种模式，使非法状态无法构造。成果：开发提速2.7倍，认证一次通过，代码减少30%。他强调遗留系统应渐进重构而非重写。