Re:Why should I have written ZeroMQ in C, not C++ (2012)
by bsaul on Thursday December 13, 2018 @02:50AM
(#18670572)
Not working in those fields either, but i don’t understand how people can be comfortable writing life-or-death code in C either. Anything that doesn’t involve a heavy dose of formal proof or automatic validation of properties of your code seems irresponsible as well.
[ Parent
| on HN ]
Re:Why should I have written ZeroMQ in C, not C++ (2012)
by axw10 on Thursday December 13, 2018 @05:32AM
(#18671276)
C is very safe if you are experienced and don't do anything fancy.
What else would you use apart from Ada? I wouldn't trust any language with a large runtime like Python, Java, and yes, also not Haskell.
C is very amenable to proofs that use Knuth's proof style. Also of course Frama C exists.
EDIT: If Rust is more mature, it may be an option, but I'd wait at least 5 more years until (if?) it is widely used.