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

[Ali]

On Monday, 13 November 2017 at 16:12:42 UTC, Joakim wrote:
> Probably a good sign that they mention D with C++ and Rust and 
> have looked at D features:
>
> https://github.com/zig-lang/zig/wiki/Why-Zig-When-There-is-Already-CPP%2C-D%2C-and-Rust%3F
>
https://sympa.inria.fr/sympa/arc/caml-list/2017-11/msg00031.html

 From the link:
"The position is part of the SecurOCaml project
(http://ocamlpro.github.io/SecurOCaml/) and aims at improving the
usability and reliability of OCaml for the development of
high-assurance applications."

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