zsqw123

以 Rust 为例，聊聊 Rust 的线性类型，以及整个类型系统 1. 对象应当如何被使用？—— Substructural Type System

Kotlin 2.2~2.4 更新速览与 2.5+ 展望，本文关注 Kotlin 2.2 ~ 2.4 版本的新语法与新特性，并尝试通过 KEEP 探索 2.5+ 可能引入的重大特性。

在我最初学 Rust 的时候，我十分严格的要求自己不用 RefCell，不写 unsafe，但随着我逐渐的使用，我最终还是选择了在我的 Rust 代码中引入 UnsafeCell

StackMapTable 是我认为 Java 字节码中最为复杂和难以理解的结构，但目前网上对于 StackMapTable Attribute 分析还是较少，本文也希望能够展示我对于这一 Attri

强类型界著名的 Typescript 语言就支持相当丰富的类型操作符，如联合（Union）与交叉（Intersection），但 Kotlin 是没有的，本文试图在 Kotlin 中实现这两种类型

本文使用 Kotlin Inline 对于类型的"实"化（reified），使用 KCP 实现了在 Kotlin 中通过 reified 的泛型参数进行 NewInstance 创建实例

现代语言的可空处理似乎做的很好，但潜在的 null 转换也可能隐藏问题，难以排查问题的真实原因。异常捕获也容易导致类似的问题，过于宽松的异常捕获也是在隐藏问题，或许区分可恢复

在 Kotlin 中，Lazy 是我们经常用到的操作，当我们需要用到时才创建对象，只需要一个 lazy 即可搞定，但稍微了解一些 Lazy 背后原理的同学都知道，Lazy 是不完美的

本文基于 Kotlin 1.9.22 版本，对 JVM 编译全流程进行分析，程序入口点为 K2JVMCompiler，源码位于 kotlin-compiler-embeddable