Re: Ada requires too much typing!

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Wed, 09 Jun 2010 20:00:07 +0200, Yannick Duch�ne (Hibou57) wrote:

> Le Wed, 09 Jun 2010 17:53:44 +0200, Dmitry A. Kazakov  
> <mailbox@dmitry-kazakov.de> a �crit:
>>> Maybe with the exception of generic formal packages?
>>> (With other problems popping up elsewhere.)
>>
>> Close, but it is about compilation units, the abstraction of the contents
>> remains outside the language.
> So this should not be a compilation unit and this should be expressed in  
> the language. Do you think about something at the level of types ?

Depends on the intentions. If you render it as a type, then it must be a
class-wide one. This is the reason why I believe that generics are
superfluous and could be gradually replaced by classes. This is also why I
want more static analysis, because that would allow to remove any overhead
in comparable [=static] cases.

> I guess  
> this should be able to express a kind of structure, so: Canvas ? Patterns ?

Depends on the meaning of these. Normally this stuff comes with dynamic
typing, types inference, things I don't like to see in a language like Ada.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de