写点什么

Kotlin 2.0 跟随全新的更快、更灵活的 K2 编译器一起发布

  • 2024-06-24
    北京
  • 本文字数:1294 字

    阅读完需:约 4 分钟

Kotlin 2.0 跟随全新的更快、更灵活的 K2 编译器一起发布

JetBrains 发布了 Kotlin 2.0 以及全新的 K2 编译器。虽然该语言本身没有引入新的语法,但 K2 编译器带来了一些优势,包括更快的构建、具有智能强制类型转换的扩展语言功能,以及开箱即用的多平台支持。


该版本引入了 K2 编译器,统一了 Kotlin 支持的所有平台,因为所有编译器后端现在都共享了大量的逻辑和统一的管道。这使我们能够为所有平台一次性地实现大多数特性、优化和缺陷修复,从而大幅提高了新语言特性的开发速度。


K2 目前支持四种后端:JVM、JavaScript、Wasm 和 native。通过用同一个编译器来瞄准所有平台的好处之一是,可以通过定义多平台库分发的新格式 来轻松支持多平台库的开发,这将使得 通过任何主机创建通用的 Kotlin 库 成为了可能。


此外,正如 Michail Zarečenskij 在 Kotlin 2024 大会上的 Kotlin 2.0 演讲中 所解释的那样,多平台支持是零散的,这使得对不同平台的支持很难维护和发展。


在性能方面,K2 显著加快了实际项目的编译时间。JetBrains 表示,K2 的编译速度平均提高了一倍,有些项目编译速度更快了,而有些项目则编译速度则比之更慢了。加速主要与初始化阶段和分析阶段的改进有关,初始化阶段的速度提高了 488%,分析阶段的速度提高了 376%。


除了性能和多平台支持之外,切换到新编译器的另一个关键原因是让语言在解释开发人员的代码意图时更加智能。


这是通过使前端中间表示(Frontend Intermediate Representation,FIR)支持早期的脱糖(desugaring)来实现的,因此编译器有更多的机会分析代码;实现了跨导入、注解和类型的分阶段分析方法,这为集成 IDE 和编译器插件带来了更多机会;以及引入了一种新的控制流引擎,该引擎在类型推断和解析方面有所改进。新的控制流引擎有助于检测异常代码、缺陷和其他潜在问题,从而有助于提高语言的安全性。


由于这些变化带来的语言表达性的改进,Kotlin 2.0 现在能更好地支持运算符和数字转换的组合。例如,语句 longList[0] += 1 现在是被允许使用的,并且也可以与可为 null 的值以及可选的取消引用运算符 ? 结合使用。


Zarečenskij 说,控制流是当今开发人员的主要任务之一。这就是为什么 JetBrains 专注于扩展语言(语法)的功能来检查数据和描述条件,从而提高可读性和消除嵌套层的原因。此外,他说,智能强制类型转换可以减少认知负荷,因为你不需要学习新的结构。


例如,Kotlin 2.0 将在局部变量上传播智能强制类型转换,如下例所示:



fun petAnimal(animal: Any) { if (animal is Cat) { animal.purr() }}
复制代码


同样,智能强制类型转换将被传播,以保存有关可空性(nullability)、 is 检查、  as 强制类型转换和契约的状态。


当 Kotlin 2.0 应用新的智能强制类型转换时,另一种情况是将闭包内捕获的变量作为读 / 写。


Kotlin 将继续增强其控制流引擎,添加无需绑定的模式匹配、上下文敏感的解析、支持更智能强制类型转换的通用 ADT、效果系统等功能。


这些新功能中的很多都在 Kotlin 2.1 或 2.2 的语言路线图中。由于篇幅原因,本文并为涵盖所有新发布的功能,因此不要错过 Kotlin 2024 大会上的演讲,以了解更多详细信息。


原文链接:


https://www.infoq.com/news/2024/05/kotlin-2-k2-compiler/


2024-06-24 10:066925

评论

发布
暂无评论
发现更多内容

鸿蒙开发实战之Device Security Kit加固美颜相机安全防线

yimapingchuan

HarmonyOS NEXT

秋招上岸拿大厂offer有望了!12万字Java面试题及答案功不可没!

程序员高级码农

Java 程序员‘

鸿蒙开发实战之Basic Services Kit实现美颜相机基础能力筑基

yimapingchuan

HarmonyOS NEXT

鸿蒙开发实战之Connectivity Kit实现美颜相机多网融合传输

yimapingchuan

HarmonyOS NEXT

使用 PrintAssembly 查看 JIT 编译后的汇编代码

mazhen

Java Linux JVM 汇编语言

鸿蒙开发实战之Remote Communication Kit实现美颜相机远程协作

yimapingchuan

HarmonyOS NEXT

鸿蒙开发实战之Sensor Service Kit实现美颜相机智能环境感知

yimapingchuan

HarmonyOS NEXT

HarmonyOS开发实战之Share Kit实现美颜照片分享

yimapingchuan

HarmonyOS NEXT

鸿蒙开发实战之Input Kit实现美颜相机智能交互

yimapingchuan

HarmonyOS NEXT

鸿蒙开发实战之Network Boost Kit优化美颜相机网络传输

yimapingchuan

HarmonyOS NEXT

鸿蒙开发实战之Performance Analysis Kit优化美颜相机流畅度

yimapingchuan

HarmonyOS NEXT

436 PIRF: Life Hack - Sabotage

Echo!!!

English

BEV 感知算法评价指标简介

地平线开发者

自动驾驶; 算法工具链 地平线征程6

鸿蒙开发实战之Asset Store Kit实现美颜相机素材智能管理

yimapingchuan

HarmonyOS NEXT

鸿蒙开发实战之Crypto Architecture Kit构建美颜相机安全基座

yimapingchuan

HarmonyOS NEXT

鸿蒙开发实战之Driver Development Kit打造美颜相机硬件加速方案

yimapingchuan

HarmonyOS NEXT

鸿蒙开发实战之Multimodal Awareness Kit实现美颜相机智能感知

yimapingchuan

HarmonyOS NEXT

AgenticSeek - 完全本地的AI助手替代方案

qife122

隐私保护 AI助手 本地AI 自动化编程 智能代理

鸿蒙开发实战之Distributed Service Kit实现美颜相机多设备协同

yimapingchuan

HarmonyOS NEXT

鸿蒙开发实战之Enterprise Data Guard Kit构建美颜相机金融级数据防护

yimapingchuan

HarmonyOS NEXT

鸿蒙开发实战之Wallet Kit实现美颜相机会员卡券功能

yimapingchuan

HarmonyOS NEXT

鸿蒙开发实战之Car Kit实现美颜相机车载互联方案

yimapingchuan

HarmonyOS NEXT

鸿蒙开发实战之Function Flow Runtime Kit优化美颜相机AI流水线

yimapingchuan

HarmonyOS NEXT

HarmonyOS开发笔记之MDM Kit实现美颜相机企业级管理

yimapingchuan

HarmonyOS NEXT

鸿蒙开发实战之Weather Service Kit实现美颜相机智能场景优化

yimapingchuan

HarmonyOS NEXT

鸿蒙开发日记之NearLink Kit实现美颜相机近场极速传输

yimapingchuan

HarmonyOS NEXT

HarmonyOS开发实战之Network Kit重构美颜相机网络层

yimapingchuan

HarmonyOS NEXT

鸿蒙开发实战之Online Authentication Kit构建美颜相机安全认证体系

yimapingchuan

HarmonyOS NEXT

鸿蒙开发实战之Data Protection Kit构建美颜相机隐私盾牌

yimapingchuan

HarmonyOS NEXT

鸿蒙开发实战之Device Certificate Kit构建美颜相机设备信任链

yimapingchuan

HarmonyOS NEXT

鸿蒙开发实战之Pen Kit实现美颜相机专业级手写批注

yimapingchuan

HarmonyOS NEXT

Kotlin 2.0 跟随全新的更快、更灵活的 K2 编译器一起发布_编程语言_Sergio De Simone_InfoQ精选文章