Zig's safety is kind of on par with Modula-2, and Object Pascal, which are equally expressive as high level languages, with low level capabilities, but apparently curly brackets have won.
The two things it adds on top, is the way nullability is handled at compile time, while the former do runtime null checks, and comptime.
True, but at least there are curly bracket languages heavily influenced by Pascal, such as Go, V (Vlang) (has comptime too and is debatably safer), Odin, etc...
The two things it adds on top, is the way nullability is handled at compile time, while the former do runtime null checks, and comptime.