Zero-Cost 'Tagless Final' in Rust with GADT-style Enums
Summary
Technical Rust blog post detailing a zero-cost Tagless Final approach using GADT-style enums to encode expressions and an interpreter. It demonstrates compile-time elimination of runtime tags via the never type and includes an experiment showing runtime overhead when the tag is not erased.