Speculative: Rust for base system components

[Alexandre C. Guimarães]

Hi.

Just to add my 2c. ;-)

If the objective is *security* and *reliability*, the said options: C++ 
(assuming HIC++), Rust, and Haskwell are all surpassed in these regards by 
Ada/SPARK (yes, there is the compiler problem) and OCaml, both in fact used 
by high integrity safe-critical industries.

There is a new Ada standard coming (Ada2020), and the Ada standard 
`updates` are not the hell of C++ ones.

The SPARK language is being formally verified by INRIA using the Coq proof 
assistant (which is written in OCaml).

http://sworthodoxy.blogspot.com/2017/03/comparing-ada-and-high-integrity-c.html

PS. oh, there is also a CompCert frontend being written for SPARK by INRIA 
(at least they were prototyping it in 2014).

Cheers!

-- 
Best Regards,
Alexandre C. Guimarães.
https://bitbucket.org/rigoletto-freebsd/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 963 bytes
Desc: not available
URL: <http://lists.freebsd.org/pipermail/freebsd-hackers/attachments/20181231/27ca0040/attachment.sig>