Kotlin创始人分享语言设计心得及未来AI编程语言
与Kotlin创始人@abreslav进行罕见播客后的七大收获：
1. Kotlin诞生是因为Java停滞了六年。到2010年，最后一个主要Java版本是Java 5（2004年）。Java 6（2006年发布）没有语言变化，Java 7（2011年发布）只有微小变化，Lambda直到2014年才出现。与此同时，C#已经有了Lambda、属性等，创造了明确的市场空白。
2. Kotlin的第一个版本不是编译器，而是IDE插件（！！）。Andrey明智地决定先构建一个利用IntelliJ解析基础设施的IDE插件，这让他在编译之前就能交互式演示语言。
3. 最初的Kotlin团队几乎全部由应届毕业生组成。Andrey雇佣了他以前的一些学生来开发Kotlin，许多人成为核心贡献者，构建了语言的基础部分。我觉得这个经历很鼓舞人心：它提醒你，只要有快速学习的能力，不需要太多经验也能构建持久的东西。
4. 省略三元运算符是Andrey最大的设计遗憾之一。在Kotlin中，他移除了这个运算符，因为"if"已经是一个表达式，将"?"和":"用于可空类型和类型注解更合理。但作为表达式的"if"最终显得冗长。
5. Kotlin添加Android支持是偶然的。一名Android开发者问团队“Kotlin能在Android上运行吗？”，Kotlin团队检查后发现工具链崩溃了。Android工具比JVM更严格，因为Android开发者“实际上读了规范”（哈！）。讽刺的是，这种严格性使Android成为验证Kotlin字节码正确性的绝佳测试环境，这也是Kotlin团队修复Kotlin使其能在更严格的Android JVM上编译的原因。
6. 2026年将是IDE vs 终端工具的复兴之年。虽然Andrey称赞Claude Code是“终端能做的事情的完全突破”，但他认为作为开发者，在专门的环境中工作效果更好。他期望新的开发环境从头为agent优先的工作流构建。
7. Kotlin之后是什么？一种新型编程语言！Andrey正在构建一种基于英语的新编程语言，名为CodeSpeak（https://codespeak.dev）：它既不是形式语言，也不仅仅是提示。它专为工程师而非普通用户设计，目标是将典型应用代码缩小约10倍。剩下的将是“软件工程的本质”——只有人类才独特知道的关于需要发生什么的事情，因为“其他一切，机器也知道”。
观看完整的播客节目——可能是最深入的Kotlin历史及其未来——由Andrey讲述：https://youtube.com/watch?v=ZggUn2mNqMU。其他平台：https://newsletter.pragmaticengineer.com/p/the-programming-language-after-kotlin
照片：我和Andrey在阿姆斯特丹播客录制后
1. Kotlin诞生是因为Java停滞了六年。到2010年，最后一个主要Java版本是Java 5（2004年）。Java 6（2006年发布）没有语言变化，Java 7（2011年发布）只有微小变化，Lambda直到2014年才出现。与此同时，C#已经有了Lambda、属性等，创造了明确的市场空白。
2. Kotlin的第一个版本不是编译器，而是IDE插件（！！）。Andrey明智地决定先构建一个利用IntelliJ解析基础设施的IDE插件，这让他在编译之前就能交互式演示语言。
3. 最初的Kotlin团队几乎全部由应届毕业生组成。Andrey雇佣了他以前的一些学生来开发Kotlin，许多人成为核心贡献者，构建了语言的基础部分。我觉得这个经历很鼓舞人心：它提醒你，只要有快速学习的能力，不需要太多经验也能构建持久的东西。
4. 省略三元运算符是Andrey最大的设计遗憾之一。在Kotlin中，他移除了这个运算符，因为"if"已经是一个表达式，将"?"和":"用于可空类型和类型注解更合理。但作为表达式的"if"最终显得冗长。
5. Kotlin添加Android支持是偶然的。一名Android开发者问团队“Kotlin能在Android上运行吗？”，Kotlin团队检查后发现工具链崩溃了。Android工具比JVM更严格，因为Android开发者“实际上读了规范”（哈！）。讽刺的是，这种严格性使Android成为验证Kotlin字节码正确性的绝佳测试环境，这也是Kotlin团队修复Kotlin使其能在更严格的Android JVM上编译的原因。
6. 2026年将是IDE vs 终端工具的复兴之年。虽然Andrey称赞Claude Code是“终端能做的事情的完全突破”，但他认为作为开发者，在专门的环境中工作效果更好。他期望新的开发环境从头为agent优先的工作流构建。
7. Kotlin之后是什么？一种新型编程语言！Andrey正在构建一种基于英语的新编程语言，名为CodeSpeak（https://codespeak.dev）：它既不是形式语言，也不仅仅是提示。它专为工程师而非普通用户设计，目标是将典型应用代码缩小约10倍。剩下的将是“软件工程的本质”——只有人类才独特知道的关于需要发生什么的事情，因为“其他一切，机器也知道”。
观看完整的播客节目——可能是最深入的Kotlin历史及其未来——由Andrey讲述：https://youtube.com/watch?v=ZggUn2mNqMU。其他平台：https://newsletter.pragmaticengineer.com/p/the-programming-language-after-kotlin
照片：我和Andrey在阿姆斯特丹播客录制后