Zig has a brilliant metaprogramming system that subsumes generics. There are no type parameters, just value parameters, and types simply happen to be value parameters that are passed at compile-time. Here's a generic 'max' function that works on any type: fn max(comptime T: type, a: T, b: T) T { return if (a > b) a else b; } For my Scala followers, 'comptime' modifier can be thought of as the logical successor of Scala 3's 'inline': a single construct that can unify disparate language features (match types, generics, metaprogramming).