The m04-zero-cost skill helps Rust developers choose between static and dynamic polymorphism when working with generics and trait objects, addressing common type system errors like E0277 and E0599. It's designed for programmers struggling with trait bounds, monomorphization, and zero-cost abstraction decisions by reframing compiler errors as design questions about whether types should be known at compile time or runtime. The skill traces upward to domain design and downward to specific implementation patterns, helping developers avoid unnecessary trait objects and code bloat while maintaining flexibility.
npx skills add https://github.com/zhanghandong/rust-skills --skill m04-zero-cost