Ramine
12/26/2015 1:32:00 AM
Hello,
Now i want to talk about Strong typed safety systems like ADA...
In ADA when you define two types like this:
type length is new float;
type weight is new float;
You can not assign in ADA the type length above to the type weight
above, this is possible in Delphi and FreePascal and C and C++.
And also you have seen me talking about why C and C++ are bad,
because in C and C++ an implicit conversion from for example
a signed long to an unsigned long is authorized in C and C++,
and that's bad because it can cause bugs and errors of logic and
that's not good for high integrity and realtime safety critical systems,
in ADA and FreePascal and Delphi this type of implicit conversion is not
possible and more than that ADA can not permit
in general to assign a type to another type as i have showed you above,
so ADA is really suited for high integrity and realtime safety critical
systems and this is why C and C++ are bad as i have explained to you
before.
Thank you,
Amine Moulay Ramdane.