Re: Faulty languages and Liability

["Chad R. Meiners" <crmeiners@hotmail.com>]

"Hyman Rosen" <hyrosen@mail.com> wrote in message
news:3D0EBE64.2070809@mail.com...
> That's where I would bring up Ariane 5 :-)

So in essence your best defence would be to knowingly drag a red herring
into the argument as well a present false context; thus, knowingly engage in
a deception.  ;)

> Yes, your honor, but when Ada detects errors, it blows
> up the rocket!

Ah yes! the famous compilation error signals the rocket to exploded ;)
Surely you must realise that the errors Ada will not allow to see the light
of day are compilation errors.  I am so far unaware of a compilation error
causing a rocket to exploded.

>Maybe this mail program written in C can
> be attacked by hackers through buffer overflows, but if
> you wrote it in Ada, every time it got a little unhappy,
> it would crash and lose all your work!

Your claim about Ada does not follow (the key phrase is 'every time').  You
can always catch unexpected exceptions and handle them in a graceful manner.

>And look, right
> there in their manual - it says that in Ada you *have*
> to use Unchecked_Conversion and Unchecked_Dealloaction.
> See, they're lying about all the checking they claim to do!
>
> Gee, this is fun :-)

And then we completely degrade into being unreasonable  ... ;)
Being unreasonable is not the best way to try and contest logical and
scientific reasoning.  It may be fun to act unreasonable, but will only
convince me that you are wrong, know it and are trying to deny it anyway ;)

-CRM

-CRM