In theory yes, there should be an overlap as the philosophy are similar (no hidden control flow) in practice they are very different. For example Austral has n

In theory yes, there should be an overlap as the philosophy are similar (no hidden control flow) in practice they are very different. For example Austral has no macros whereas Zig relies heavily on comptime. Austral is to Ada and Rust what Zig is to C.. I'd say that Austral is even more focused on safety and correctness than Zig. Zig is older than Austral, but Austral is simpler, which implementation is going to be reliable first? I don't know, there's a (small) 'ecosystem' around Zig, is there one around Austral?