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

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

Maciej Sobczak schrieb:

>> I generally conclude my presentations of Ada with two quotes. The first
>> one is from K&R, in one of the first books about C:
> 
> Let's focus on recent C++ standard instead of early versions of C.

The necessity to use C types is what the cited article defines as
"weak", I think. There is a glossary.
IIUC, a C(++) int and another C(++) int might be logically unrelated,
yet they tend to be of the same type.  A Current and a Count might
be logically unrelated, and they tend to be of different types in Ada,
though both are integer types.

If backwards compatibility could be made an option instead
of a drag,  int<...> made a template, how much of the trouble
might this remove, how well can it be integrated with the STL, ...