类型安全 相关文章

深入 Kotlin 类型安全构建器与 DSL 设计全链路

从 Compose 嵌套编译报错出发，深入解析 Kotlin DSL 的类型安全设计核心——lambda with receiver、@DslMarker 作用域控制，涵盖 Compose、Gradle KTS 与自定义 DSL 全链路实战。

深入 Kotlin Sealed Class/Interface 密封类层次：从编译期穷举检查到 Compose UI 状态建模的类型安全实践

本文深入探讨 Kotlin 密封类与密封接口的设计理念，从编译期穷举检查机制出发，结合 Compose UI 状态建模、MVI 架构、Flow 异步处理和 Navigation 路由等实战场景，展示如何用类型系统消除非法状态组合，提升代码健壮性。