Re: Is strong typing worth the cost?

[dmjones <derek@NOSPAMknosof.co.uk>]

"Marin David Condic",

> There does tend to be a "Put the burden of proof on Ada" kind of
> attitude that often comes into play. It may not be entirely unfair in
> that someone can say "This is what I do now. You propose that I do
> something different and claim it is better. Can you demonstrate how this
> is better?" 

This discussion is occurring in an Ada news group because Ada
is essentially the only game in town, with regard to a) strong
typing, and b) a reasonable sized commercial usage base.

The reason for originally posting here was the thought that
if some research existed, this would be the group that would
know about it.  If a study is performed, Ada would be the obvious
candidate to use.  There is a pool of experienced users working
on problems similar to problems being solved using other languages.

Yes, Ada may contain other fine features and separating out the
type system (for experimentation) from the rest of the language may 
sound like an odd thing to do.  I think the use of strong typing in
other languages would reduce the cost of software ownership.  If
you can think of a better way for me to obtain substantiating
evidence please let me know.