type-level-programming

This article explores implementing the 'tagless final' pattern in Rust with GADT-style enums, showing how the compiler can erase abstractions for zero-cost performance.

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.