Zig no tiene traits, pero puedes construirlos con comptime

We have traits at home

El autor explora cómo Zig maneja el polimorfismo mediante interfaces dinámicas y duck typing en comptime, y propone una convención para definir traits como structs de funciones evaluadas en tiempo de compilación. Inspirado en OCaml, este enfoque permite contratos de tipo claros sin sacrificar rendimiento, ya que el compilador puede monomorfizar e inline. Un ejemplo con una función de plegado (Reducer) muestra lo sencillo que resulta.