programming-technique

本文解释了如何使用类型相等性证明在 OCaml 中编码受保护方法，从而仅对特定方法而非整个类施加接收者约束。

一种通过遵循顺时针/螺旋规则解析复杂C声明的经典技术，并附有实例。

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

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

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