m04-zero-cost

What problem does it solve?

This skill teaches how to implement zero-cost abstractions in Rust to achieve compile-time polymorphism with zero runtime overhead.

Core Features & Use Cases

• Polymorphic without cost: Use generics with static dispatch to avoid vtables and dynamic dispatch overhead.
• Monomorphization strategies: Understand how monomorphization affects inlining and code size for different type parameters.
• Performance-conscious design: Make informed trade-offs between generics and trait objects in performance-critical paths.

Quick Start

Refactor a small Rust example to replace a trait object with a generic implementation and compare the performance and binary size.