programming-technique

This post shares a Haskell technique for type-checked non-empty strings using GHC's RequiredTypeArguments, achieving compile-time validation and a ~10% build-time improvement in a large codebase.

This article demonstrates a technique to simulate Python-style keyword arguments in C++ by using structs with designated initializers, improving code readability without macros or template magic.

This article explores using Zig's comptime to create tagged union subsets, inspired by Mitchell Hashimoto's work, and applies the technique to a MyST parser's AST traversal.