i've been waiting for zig to sort out its type system, hopefully this is hte major step forward the language needs. https://ziglang.org/devlog/2026/#2026-03-10