Re: Ada Popularity: Comparison of Ada/Charles with C++ STL (and Perl)

["Robert Kawulak" <tigrisek@interia.pl>]

Hi,

>>> In C++ it is checked upon inlining. In Ada it is checked upon
>>> instantiation. With my proposal it will be checked when you create a
>>> wrapper. The only difference is in the place and time.
>>
>>     What do you mean by 'inlining' here? C++ templates are also
>> instantiated, either explicitly or implicitly (in a place you use it).
>
> I prefer "inline" because C++ instantiation may fail due to errors in the
> template body. That is because C++ templates are in fact macros. When and
> if, C++ will switch to a contract model, then I will call it
> instantiation.

  Still I don't get it - what's wrong in that "C++ instantiation may fail 
due to errors in the template body"? Why shouldn't it fail? (Actually 
compilation may fail even when there's no instantiation, because templates 
bodies are always parsed, templates are not only ^C^V or #define as you say 
;-) And what would this "contract model" change? Nota bene, you can have 
contracts with templates - if you use some inappropriate type as template's 
parameter, it won't compile, and you can strenghten contracts using 
boost::concept_check and boost::type_traits mentioned before in this 
discussion.

Regards,
Robert