programming-technique

本文分享了一种使用 GHC 的 RequiredTypeArguments 进行类型检查的非空字符串的 Haskell 技术，实现了编译时验证，并在大型代码库中获得了约 10% 的构建时间改进。

本文演示了一种通过使用带有指定初始化器的结构体来模拟Python风格关键字参数的技术，无需宏或模板魔法即可提高代码可读性。

本文探讨了如何利用Zig的comptime功能创建标记联合子集，受Mitchell Hashimoto工作的启发，并将该技术应用于MyST解析器的AST遍历。