Tag
This article explains how to encode guarded methods in OCaml using type equality witnesses, allowing constraints on the receiver only for specific methods rather than the whole class.
A classic technique for parsing complex C declarations by following a clockwise/spiral rule, with worked examples.
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.