> A true competitor would need to offer genuine extra value, such as dependent types or other formal verification features, to carve out a niche.

believe it or not it is generally easy to do this with zig with few modifications (WIP), and the team has said publically that they will be making this sort of thing a supported operation once the IR stabilizes post-1.0.

https://github.com/ityonemo/clr/