Kotlin
JVM现代编程语言
- 001入门Kotlin 概述与环境配置Kotlin 语言概述、发展历史、设计哲学、与 Java 的关系、多平台支持、环境搭建与第一批可运行程序。对标 MIT 6.005、Stanford CS193P、CMU 15-214 教学水准。
- 002入门Kotlin 基础语法变量声明、基本类型、字符串模板、包与导入、控制流与区间。
- 003中级Kotlin 函数与 Lambda函数定义、扩展函数、Lambda 表达式、高阶函数、内联函数与 SAM 转换。
- 004中级Kotlin 类与对象类定义、构造函数、继承、接口、数据类、密封类、枚举与伴生对象。
- 005进阶Kotlin 泛型与类型系统泛型、型变、空安全、智能转换与类型系统深度解析。
- 006中级Kotlin 集合与协程集合框架、序列、集合操作函数与协程基础。
- 007进阶Kotlin 协程进阶协程异常处理、取消、超时、Flow 高级操作、StateFlow/SharedFlow 与 Select。
- 008进阶Kotlin 多平台KMP 架构、expect/actual、共享代码策略、Compose Multiplatform 与 Gradle 配置。
- 009进阶Kotlin DSL 与领域特定语言DSL 设计模式、带接收者的 Lambda、类型安全构建器与实际项目 DSL 设计。
- 010进阶Kotlin 测试与最佳实践测试框架集成、协程测试、代码规范、性能优化与 Effective Kotlin 要点。
- 011中级Kotlin与协程ChannelChannel热数据流
- 012中级空安全详解Kotlin 空安全深度解析：可空类型、智能转换、平台类型、lateinit、Elvis 运算符的形式化定义、字节码实现与企业级工程实践。
- 013中级密封类与代数数据类型密封类、密封接口与代数数据类型（ADT）的原理、形式化与实践
- 014中级委托属性Kotlin 委托属性深度解析：lazy、observable、vetoable、map 委托、provideDelegate 的设计哲学、形式化定义、字节码实现与企业级工程实践。
- 015入门扩展函数Kotlin 扩展函数与扩展属性的原理、形式化语义、工程实践与陷阱分析
- 016中级协程基础Kotlin 协程基础深度解析：suspend 函数、CoroutineScope、Job、Deferred、launch/async/runBlocking、结构化并发、Continuation 状态机原理。对标 MIT 6.005、Stanford CS193P、CMU 15-440 教学水准。
- 017进阶Flow与响应式流Kotlin Flow与Channel及响应式流规范深度剖析
- 018入门Kotlin作用域函数let、run、with、apply、also 五大作用域函数深度剖析
- 019入门Kotlin集合操作集合函数式操作
- 020中级Kotlin内联类value class 与内联优化的编译原理与工程实践
- 021进阶Kotlin 契约（Contracts）Kotlin 契约机制的形式化语义、编译器交互、效果系统与工程实践
- 022进阶Kotlin与DSLDSL构建
- 023中级Kotlin序列化kotlinx.serialization 的核心原理、工程实践与性能优化
- 024中级Kotlin与AndroidKotlin Android开发
- 025中级Kotlin与SpringKotlin Spring Boot开发
- 026进阶Kotlin类型系统Kotlin 类型系统深度解析：泛型、型变（协变 out / 逆变 in / 不变）、星投影、类型擦除、reified 类型参数、上下界约束、declaration-site 与 use-site variance 的形式化定义、编译器实现与企业级工程实践。对标 MIT 6.005、Stanford CS193P、CMU 15-312 教学水准。
- 027中级Kotlin与ComposeJetpack Compose桌面/移动
- 028进阶Kotlin与Arrow函数式编程库Arrow
- 029中级Kotlin与KtorKtor服务端框架
- 030中级Kotlin与ExposedKotlin SQL框架Exposed
- 031中级Kotlin与KoinKoin依赖注入
- 032中级Kotlin与ktor-clientKtor HTTP客户端
- 033中级Kotlin与测试Kotlin测试框架
- 034进阶Kotlin与编译器插件kapt、KSP与编译器插件的原理、工程实践与性能优化
- 035中级Kotlin与GradleGradle Kotlin DSL
- 036中级Kotlin与原子操作kotlinx.atomicfu
- 037中级Kotlin与Benchmark基于 JMH 与 kotlinx-benchmark 的 Kotlin 性能基准测试方法论、工程实践与陷阱分析
- 038中级Kotlin与IOkotlinx-io与文件操作
- 039中级Kotlin 与正则表达式Kotlin 正则表达式的形式化语义、JDK 集成、性能优化与工程实践
- 040中级Kotlin与时间kotlinx-datetime
- 041进阶Kotlin与并发安全Kotlin 并发安全深度解析：共享可变状态、数据竞争、Mutex、原子操作、CAS、Actor 模型、Channel、线程限制、Volatile、StateFlow 的形式化定义、字节码实现与企业级工程实践。对标 MIT 6.005、Stanford CS110、CMU 15-440 教学水准。
- 042中级Kotlin与WebSocketKtor WebSocket
- 043中级Kotlin与安全Kotlin安全编程
- 044进阶协程调度器与上下文Kotlin协程调度器与上下文详解：Dispatchers选择与切换。
- 045进阶Flow冷流与SharedFlow和StateFlowKotlin Flow冷流与SharedFlow和StateFlow详解：响应式流原理、冷热流对比、状态管理实践。
- 046进阶Channel与BroadcastChannelKotlin Channel与BroadcastChannel详解。
- 047进阶密封类与密封接口Kotlin 密封类与密封接口深度解析：受限继承、穷举检查、代数数据类型（ADT）、模式匹配、递归结构、when 表达式编译期检查的形式化定义、字节码实现与企业级工程实践。对标 MIT 6.005、Stanford CS193P、CMU 15-214 教学水准。
- 048进阶内联类Kotlin内联类inline class避免装箱开销。
- 049进阶扩展函数的编译原理Kotlin扩展函数编译原理详解。
- 050进阶作用域函数区别Kotlin 作用域函数深度解析：let、run、with、apply、also 的设计哲学、形式化定义与工程实践。
- 051进阶协程异常处理Kotlin 协程异常处理深度解析：CoroutineExceptionHandler、SupervisorJob、structured concurrency 异常传播机制的形式化定义、字节码实现与企业级工程实践。
- 052进阶Kotlin跨平台Kotlin跨平台详解：Kotlin/JS与Kotlin/Native。