Kotlin
Kotlin是由JetBrains开发的静态类型编程语言，可运行于Java虚拟机（JVM）并与Java完全互操作。它支持面向对象编程与函数式编程范式，具有简洁的语法、空安全机制和协程支持等特性。Kotlin广泛应用于Android移动应用开发、服务器端开发及跨平台项目，是Android平台的官方推荐开发语言之一。
核心事实
时间轴 (近 90 天)
Kotlin Serialization 是 Kotlin 官方的序列化框架，通过编译器插件为 @Serializable 类生成序列化器，是 Kotlin Multiplatform 的一等公民。
协作工具从Web转向原生时，常见技术选型包括Electron/Tauri等Web技术框架、Flutter/React Native等跨平台UI框架、纯原生代码（Swift/Kotlin/C++）。
MetadataRetriever 与 Kotlin 协程集成，每个媒体项一个不可变 retriever，跨 API 版本与设备行为一致。
Kotlin 的 coroutineScope 和 Java 的 StructuredTaskScope 是结构化并发思想的体现。
在 Kotlin 中把 companion object 当作静态成员使用时，VM 必须验证对象是否正确初始化、是否需要触发初始化流程，这些检查大多数时候毫无必要，但编译器不能省略。
Frames of Truth 移动端用 Kotlin 开发，通过 Chaquopy 实现 Python 集成，后端是 Python（Flask）作为本地 HTTP 服务器运行在 127.0.0.1:5000，前端是加载本地页面的 WebView
开发者通过在 Kotlin 层读取魔数 ftyp 检测 HEIC 文件，在转换为 JPEG 之前先提取 EXIF 元数据以保留 GPS 坐标
RideFix Bro 前端采用Kotlin/Jetpack Compose构建，使用Android Keystore支持的AES-256-GCM加密保护移动会话，并通过Supabase Auth处理身份认证
JetBrains在Java企业级开发和Kotlin生态等重度开发场景中依然占据优势
原生 Android 应用使用 Kotlin 或 Java 编写，直接运行在 Android 系统上，可调用摄像头、传感器、后台服务、推送通知等系统级 API
还有 25 条时间轴事件
全部知识事实 (20)
Google在2019年正式推荐Kotlin作为Android首选编程语言
80%已验证Google AI Studio 允许用户用自然语言描述功能，约五分钟生成一个可运行的原生安卓应用
65%待验证传统移动应用开发需要掌握Swift/Objective-C（iOS）或Kotlin/Java（Android），加上UI框架、后端API、数据库设计等技术栈
95%待验证Android XR通过扩展OpenXR标准与Jetpack XR SDK为开发者提供空间计算能力
85%待验证Kotlin Serialization 是 Kotlin 官方的序列化框架，通过编译器插件为 @Serializable 类生成序列化器，是 Kotlin Multiplatform 的一等公民。
50%待验证协作工具从Web转向原生时，常见技术选型包括Electron/Tauri等Web技术框架、Flutter/React Native等跨平台UI框架、纯原生代码（Swift/Kotlin/C++）。
50%待验证MetadataRetriever 与 Kotlin 协程集成，每个媒体项一个不可变 retriever，跨 API 版本与设备行为一致。
50%待验证Kotlin 的 coroutineScope 和 Java 的 StructuredTaskScope 是结构化并发思想的体现。
50%待验证在 Kotlin 中把 companion object 当作静态成员使用时，VM 必须验证对象是否正确初始化、是否需要触发初始化流程，这些检查大多数时候毫无必要，但编译器不能省略。
50%待验证Frames of Truth 移动端用 Kotlin 开发，通过 Chaquopy 实现 Python 集成，后端是 Python（Flask）作为本地 HTTP 服务器运行在 127.0.0.1:5000，前端是加载本地页面的 WebView
50%待验证开发者通过在 Kotlin 层读取魔数 ftyp 检测 HEIC 文件，在转换为 JPEG 之前先提取 EXIF 元数据以保留 GPS 坐标
50%待验证RideFix Bro 前端采用Kotlin/Jetpack Compose构建，使用Android Keystore支持的AES-256-GCM加密保护移动会话，并通过Supabase Auth处理身份认证
50%待验证JetBrains在Java企业级开发和Kotlin生态等重度开发场景中依然占据优势
50%待验证原生 Android 应用使用 Kotlin 或 Java 编写，直接运行在 Android 系统上，可调用摄像头、传感器、后台服务、推送通知等系统级 API
50%待验证原生安卓项目使用Kotlin或Java编写，可直接调用Google官方的Billing Library和AdMob SDK，无需额外的桥接层
50%待验证Effect 的结构化并发设计理念来自 Kotlin 的结构化并发与 ZIO 的 Scope
50%待验证1.1.3 版本移除了 Kotlin、Rust 和 Haskell 中无效及重复的分隔符（#37039）
50%待验证StreetComplete 原始代码库以 Kotlin 语言编写，深度依赖 Android 原生 API 与 Google Play 服务生态
50%待验证Result类型（也称Either类型）在Rust、Haskell、Kotlin等语言中已被广泛采用
50%待验证Kotlin、Swift、Rust等语言引入了可空类型与非空类型的区分，Rust用Option<T>枚举替代了空引用概念
50%