You can do a+b in Zig with SIMD vectors. No operator overloading required
Sure. But doesn't it still lack autodiff, quaternions, etc?
Sure. But doesn't it still lack autodiff, quaternions, etc?