We have traits at home

The author proposes implementing "Traits" as a compile-time abstraction in Zig to bridge the gap between the language's two existing polymorphism approaches: runtime interfaces (which have performance overhead) and compile-time duck typing (which lacks formal type contracts). This userland convention, inspired by functional programming languages like OCaml, would allow developers to define compile-time type contracts without requiring external libraries or language features.