Re: Dynamic type system for Ada

[Victor Porton <porton@narod.ru>]

It seems that you didn't understood me.

Dmitry A. Kazakov wrote:
> On 24/01/2017 14:12, Victor Porton wrote:
>> I thought on combining powers of static (like Ada) and dynamic (like
>> Python) languages. In two seconds I understood that this can be done by
>> creating a special "Dynamic" type in a static language.
> 
> There is no such thing as a dynamic type system. A dynamic type is a
> value of some static type, e.g. "any" or "type type" etc. The hierarchy
> must end somewhere and that is always a static type.

All I ask is just an Ada type which would be so flexible that could store 
any kind of a value (just like as a variable in a dynamic language).

This type could be a variant record which could store numbers, lists/arrays, 
strings, etc. (anything that can be stored in a variable in a dynamic 
language).

>> Due to pure curiosity, I ask: Has anybody developed a dynamic type system
>> for Ada?
> 
> AFAIK there were no proposals to add a type type to Ada. There exist
> some rudimentary means, like generic constructor, but nothing beyond that.

There is no need to "add" it to Ada. Anybody with a little programming 
experience can develop a package with such a type.

I think developing such a library can be useful for Ada community.

And no, it is not a "type type".

-- 
Victor Porton - http://portonvictor.org