Re: Ada the Future Language of Secure Communications.

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Sat, 07 Dec 2013 17:38:00 +0100, Pascal J. Bourguignon  
<pjb@informatimago.com> a écrit:
> This is not limited to cryptographic algorithms.  C++ is useless.  C can
> have some use (in writing a unix kernel for a small computer such as a
> PDP-7).  But any program written nowaday on current hardware is better
> written in any other language.

Small talk: C can have all uses as a target language. C is better as a  
target language than as a language for handwritten application, rather the  
opposite for Ada (while there are be exceptions for both cases). Even a  
kernel for a small computer would be better written in Ada if handwritten,  
and better be C if preferably generated by an Ada compiler or from some  
formal methods (there exist formalisations of subset of C for various  
assisted proof environment and a formally certified C compiler, name  
CompCert).


-- 
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University