标签
Typst 通过约束记忆化（comemo）和纯函数设计，使语言和编译器协同工作，实现高效的增量编译和实时预览。文章详细介绍了布局缓存、模块评估记忆化、函数纯度以及内省系统的设计思路。
本文提出了一种有原则性的方法来重新思考 APL 等数组语言，通过将变量建模为输入维度的函数，旨在相较于传统方法提高可读性和错误检查能力。
一位开发者分享了可嵌入类型化语言 Ekto 的最新进展，该语言受 Lua、Koka 和 Erlang 启发，并讨论了为 Casper VM 实现引用计数、内存管理及有界续体时面临的挑战。
一篇技术博客文章批评了基于查询的编译器，认为其有效性受限于源语言的依赖结构，尤其是雪崩效应——变更可能广泛传播，使得增量更新往往和完全重建一样昂贵。