Re: Software Quality in Science

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

On 10 fév, 14:55, Ludovic Brenta <ludo...@ludovic-brenta.org> wrote:
> The same reasoning applies to Spark vs. Ada.
Such a comparison would not come without a difference : Ada is safer
than C, while it is capable of more than C. SPARK is safer than Ada,
but although attractive at first sight, it imposes a lot of
restrictions which make it less capable than Ada (capable : I'm
talking about the extend of constructs you can create with it).

While a demanding C developer may be wonderfully happy to learn about
Ada, an Ada designer may possibly have less reasons to switch to SPARK
(unless otherwise required). Proof : near to all Adaiste know about
SPARK, but just a few of them use it.

The path from Ada to SPARK has nothing to be compared to the one of
from C to Ada.



Side note for little words about C : the typical laxity of C is
sometime useful for quick modeling when interfacing with system API is
involved. Out of subject, I know, it was just to tell C developers we
do not really hate them so much and give them a Welcome Here :p (I
myself occasionally relying on C by the way).