OT: (only slightly off topic) Ocaml investing in high-assurance applications

[Ola Fosheim Grøstad]

On Monday, 13 November 2017 at 18:11:45 UTC, Ali wrote:
> I think HAA seems like where many people are looking at the 
> moment
> I am not convinced that this will make a dent in C or C++ 
> popularity or usage
> but, yet, it will be a sizable niche that C or C++ will not 
> dominate

But how is that relevant for Zig? It doesn't appear to use formal 
methods.