https://kotlinlang.org/docs/whatsnew20.html

GPT-4o 的总结：

Kotlin 2.0 亮点

1. K2 编译器：

   • 稳定：默认用于所有平台，性能显著提升。
   • 性能：编译了 1000 万行代码，测试了 18000 开发者和 80000 项目。

2. IDE 支持：

   • 新版 Kotlin 插件捆绑在 IntelliJ IDEA 和 Android Studio 中。

3. Gradle 集成：

   • 新 DSL：用于多平台项目的实验性编译器选项配置。
   • Compose 插件：增强对 Jetpack Compose 的支持。

4. Lambda 函数：

   • invokedynamic：生成更小的二进制文件，但 lambda 不可序列化。

5. Kotlinx-metadata-jvm 库：

   • 稳定版本，提供读取和修改 JVM 二进制文件元数据的 API 。

6. Kotlin/Native 增强：

   • GC 监控：在 Apple 平台上改进垃圾回收性能监控。
   • 方法冲突解决：改进与 Objective-C 方法的冲突处理。

7. Kotlin/Wasm：

   • 支持命名导出和无符号原始类型的 @JsExport 函数。

8. 智能类型转换：

   • 改进 if、when 和 while 块中的智能类型转换，减少手动类型断言。

Kotlin 2.0.0 语言层面没有新特性，但是引入 K2 编译器，提高了性能。

想问一下大家上海/杭州有用 Kotlin 做服务端的公司吗？