Re: Teaching new tricks to an old dog (C++ -->Ada)

["Chad R. Meiners" <chad.rmeiners@gmail.com>]

Jerry Coffin wrote:

>The point is that picking the language for that 70% seems to
>take one choice in one list box -- i.e. the most utterly trivial
amount
>of work possible.

What are you trying to say with this sentence?  It seems devoid of any
relavent information or meaning.

>are you honestly suggesting that
>it's particularly likely that they'd choose to generate C if they were
>planning to write the remainder in Ada?

Now I don't have to be pigeon holed into only that suggestion.  There
are more reasonable suggestions.  For instance, they could be reusing
libraries written in Ada for maybe 10% of the remaining code.  Another
15% could use this libraries and thus be written in Ada.

> I don't recall anybody here having suggested that SCADE is the be-all
> and end-all of format tools.

I never said you did.  I was assuming that SCADE is a decent formal
tool which implies that they use SCADE to generate a most complete
subsystem that represented about 70% of the code base.

>I drew exactly two conclusions: 1) that 100% minus 70% leaves 30%, and
>2) that these _seem_ to be sufficiently large projects that 30% of
them
>still constitutes a substantial amount of code.

Exactly two huh?  What about

>It seems likely to me that if
>they were using Ada for the hand-written code, they'd generate Ada
>as well.

That looks like a conclusion to me.   That sentence that you are
misquoting applies to all you conclusions and implicit implications.
Furthermore, if are calling

> 100% minus 70% leaves 30%

a conclusion as oppose to an assertion.  One should expect that it was
preceeded by an arguement or proof of some sort.  Being that you didn't
provide either, this "conclusion" is either a) actually an assertion
and disqualified to be member of your "exactly two conclusions" or b) a
conclusion that you jumped to by not providing an arguement to support
it.

And just for kicks

> please expound on your form of math in which 100 minus 70 doesn't
equal 30. 

when the numbers are in base 8 of course ;-)