Re: A new notion: stronglly-typed-by-user language

[Georg Bauhaus <rm.dash-bauhaus@futureapps.de>]

J-P. Rosen schrieb:
> While preparing the upcomming "Using Object Oriented Technologies in
> Secure Systems" tutorial for Ada-Europe (plug, plug...), I came across
> this beautiful statement (OOTiA, B.1.1.6):
> 
> "C++ is a strongly typed language, if conversions between logically
> unrelated types are avoided".
> 
> Ain't that cute?


The argument is brilliant, I think.
(At least outside its specific context, which is the weak types
of C still underlying C++, where weak refers to the definitions
of the cited document.)  I'm serious.

"if you avoid doing stupid things" brings the sane programmer
into focus who wouldn't actually convert between logically
unrelated types, anyway. You want sane programmers.

Add this argument to your marketing speech repertoir.

If a type system is needed to avoid stupid conversions,
then what does this tell us about Ada programmers, huh?