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 代码中引入 UnsafeC...

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

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

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

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

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

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

纯函数为我们带来了可缓存性，并发安全，高度可测性以及清晰的依赖。在这篇文章中会介绍一种实现纯的方案：kotlin immutable collections，以及我对其的一...

用 Kotlin 语言作为范例，谈谈纯函数的好处：可缓存性，高度并行，高度可测性，依赖清晰。并谈谈 skiplang 和个人的看法...

对比了现有的 RN，小程序，Flutter 等方案，简单介绍了 Kotlin Multiplatform，给出了 Kotlin Multiplatform 是目前跨平台的终...