- 001入门Kotlin 是什么:现代 JVM 语言的起点面向零基础读者介绍 Kotlin 的定位、设计目标、与 Java 的关系及应用版图,并完成第一次可运行的 Kotlin 程序。
- 002入门Kotlin 概述与环境配置Kotlin 语言概述、发展历史、设计哲学、与 Java 的关系、多平台支持、环境搭建与第一批可运行程序。对标 MIT 6.005、Stanford CS193P、CMU 15-214 教学水准。
- 003入门Kotlin 基础语法Kotlin 基础语法完整讲解:变量声明、基本类型、字符串模板、包与导入、控制流与区间。
- 004中级Kotlin 函数与 Lambda函数定义、扩展函数、Lambda 表达式、高阶函数、内联函数与 SAM 转换。
- 005中级Kotlin 类与对象类定义、构造函数、继承、接口、数据类、密封类、枚举与伴生对象。
- 006入门data class 详解自动生成的 equals/copy/解构:数据载体的最佳实践。
- 007入门Kotlin 作用域函数let、run、with、apply、also 五大作用域函数深度剖析
- 008进阶作用域函数区别Kotlin 作用域函数深度解析:let、run、with、apply、also 的设计哲学、形式化定义与工程实践。
- 009入门扩展函数Kotlin 扩展函数与扩展属性的原理、形式化语义、工程实践与陷阱分析
- 010进阶扩展函数的编译原理Kotlin扩展函数编译原理详解。
- 011入门Kotlin 集合操作集合函数式操作
- 012中级Kotlin 集合与协程集合框架、序列、集合操作函数与协程基础。
- 013中级空安全详解Kotlin 空安全深度解析:可空类型、智能转换、平台类型、lateinit、Elvis 运算符的形式化定义、字节码实现与企业级工程实践。
- 014进阶Kotlin 契约(Contracts)Kotlin 契约机制的形式化语义、编译器交互、效果系统与工程实践
- 015中级密封类与代数数据类型密封类、密封接口与代数数据类型(ADT)的原理、形式化与实践
- 016进阶密封类与密封接口Kotlin 密封类与密封接口深度解析:受限继承、穷举检查、代数数据类型(ADT)、模式匹配、递归结构、when 表达式编译期检查的形式化定义、字节码实现与企业级工程实践。对标 MIT 6.005、Stanford CS193P、CMU 15-214 教学水准。
- 017进阶Kotlin 泛型与类型系统泛型、型变、空安全、智能转换与类型系统深度解析。
- 018进阶Kotlin 类型系统Kotlin 类型系统深度解析:泛型、型变(协变 out / 逆变 in / 不变)、星投影、类型擦除、reified 类型参数、上下界约束、declaration-site 与 use-site variance 的形式化定义、编译器实现与企业级工程实践。对标 MIT 6.005、Stanford CS193P、CMU 15-312 教学水准。
- 019中级Kotlin 内联类value class 与内联优化的编译原理与工程实践
- 020进阶内联类Kotlin内联类inline class避免装箱开销。
- 021中级委托属性Kotlin 委托属性深度解析:lazy、observable、vetoable、map 委托、provideDelegate 的设计哲学、形式化定义、字节码实现与企业级工程实践。
- 022进阶Kotlin 2.x 新语言特性与 K2 编译器K2 编译器落地后的语言演进:guard 守卫条件、非局部 break/continue、多美元插值与上下文参数(Context Parameters)。
- 023中级协程基础Kotlin 协程基础深度解析:suspend 函数、CoroutineScope、Job、Deferred、launch/async/runBlocking、结构化并发、Continuation 状态机原理。对标 MIT 6.005、Stanford CS193P、CMU 15-440 教学水准。
- 024进阶Kotlin 协程进阶协程异常处理、取消、超时、Flow 高级操作、StateFlow/SharedFlow 与 Select。
- 025进阶协程调度器与上下文Kotlin协程调度器与上下文详解:Dispatchers选择与切换。
- 026进阶协程异常处理Kotlin 协程异常处理深度解析:CoroutineExceptionHandler、SupervisorJob、structured concurrency 异常传播机制的形式化定义、字节码实现与企业级工程实践。
- 027进阶Kotlin 与并发安全Kotlin 并发安全深度解析:共享可变状态、数据竞争、Mutex、原子操作、CAS、Actor 模型、Channel、线程限制、Volatile、StateFlow 的形式化定义、字节码实现与企业级工程实践。对标 MIT 6.005、Stanford CS110、CMU 15-440 教学水准。
- 028中级Kotlin 与原子操作从竞态条件出发掌握原子变量:kotlinx.atomicfu 与标准库 kotlin.concurrent.atomics 两套 API、CAS 原理、无锁结构与常见陷阱。
- 029进阶Flow 与响应式流Kotlin Flow与Channel及响应式流规范深度剖析
- 030进阶Flow 冷流与 SharedFlow 和 StateFlowKotlin Flow冷流与SharedFlow和StateFlow详解:响应式流原理、冷热流对比、状态管理实践。
- 031中级Flow 进阶:操作符组合、冷热流转换与背压实战系统梳理 Flow 的中间与末端操作符、冷热流转换(stateIn/sharedIn)、背压策略与组合模式,附完整可运行示例与常见陷阱。
- 032中级Kotlin 与协程 Channel协程间通信原语 Channel 的容量语义、多生产者多消费者、管道模式、select 多路与常见陷阱。
- 033进阶Channel 与 BroadcastChannelKotlin Channel与BroadcastChannel详解。
- 034中级Kotlin 序列化kotlinx.serialization 的核心原理、工程实践与性能优化
- 035中级Kotlin 与 IOkotlinx-io与文件操作
- 036中级Kotlin 与正则表达式Kotlin 正则表达式的形式化语义、JDK 集成、性能优化与工程实践
- 037中级Kotlin 与时间kotlinx-datetime
- 038进阶Kotlin 测试与最佳实践测试框架集成、协程测试、代码规范、性能优化与 Effective Kotlin 要点。
- 039中级Kotlin 与测试Kotlin测试框架
- 040中级Kotlin 与 Benchmark基于 JMH 与 kotlinx-benchmark 的 Kotlin 性能基准测试方法论、工程实践与陷阱分析
- 041中级Kotlin 与 Gradle用 Gradle Kotlin DSL 构建 Kotlin 项目:依赖管理、版本目录、多模块、K2 编译器配置与构建提速。
- 042进阶Kotlin 与编译器插件kapt、KSP与编译器插件的原理、工程实践与性能优化
- 043中级Kotlin 与 Java 互操作双向调用规则:空安全映射、静态成员与 @Jvm 系列注解。
- 044中级Kotlin 与 AndroidKotlin Android 开发主线:ViewModel + StateFlow 状态管理、生命周期安全协程、Compose UI、权限与后台任务。
- 045中级Kotlin 与 ComposeJetpack Compose桌面/移动
- 046进阶Kotlin 多平台KMP 架构、expect/actual、共享代码策略、Compose Multiplatform 与 Gradle 配置。
- 047进阶Kotlin 跨平台Kotlin跨平台详解:Kotlin/JS与Kotlin/Native。
- 048中级Kotlin 与 SpringKotlin Spring Boot开发
- 049中级Kotlin 与 KtorKtor服务端框架
- 050中级Kotlin 与 ktor-clientKtor HTTP客户端
- 051中级Kotlin 与 WebSocketKtor WebSocket
- 052中级Kotlin 与 ExposedKotlin SQL框架Exposed
- 053中级Kotlin 与 Koin用 Koin 做 Kotlin 依赖注入:DSL 声明、构造器引用、命名与参数注入、Ktor/Android 集成与运行时校验。
- 054进阶Kotlin 与 Arrow函数式编程库Arrow
- 055进阶Kotlin DSL 与领域特定语言DSL 设计模式、带接收者的 Lambda、类型安全构建器与实际项目 DSL 设计。
- 056进阶Kotlin 与 DSLDSL构建
- 057中级Kotlin 与安全Kotlin安全编程
- 058中级Kotlin 学习总结:核心知识体系回顾按主题串联 Kotlin 模块全部文档,回顾语法与空安全、数据类与密封类、协程与 Flow、多平台与服务端框架的核心概念、易混淆点与高频陷阱。