and conditional compilation without the need for a separate preprocessor language.

During compile time, types become first-class citizens. This enables compile-time duck typing, and is how Zig implements generic types.

For instance, in Zig, a generic linked list type might be implemented using a function like:fn LinkedList(comptime T: type) type;This