From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail From: Victor Porton Newsgroups: comp.lang.ada Subject: Re: Dynamic type system for Ada Date: Tue, 24 Jan 2017 15:58:31 +0200 Organization: Aioe.org NNTP Server Message-ID: References: NNTP-Posting-Host: eAyfEuoyb82Xkl8rYnvycQ.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset="ISO-8859-1" Content-Transfer-Encoding: 7Bit X-Complaints-To: abuse@aioe.org User-Agent: KNode/4.14.10 X-Notice: Filtered by postfilter v. 0.8.2 Xref: news.eternal-september.org comp.lang.ada:33141 Date: 2017-01-24T15:58:31+02:00 List-Id: 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