From: Victor Porton <porton@narod.ru>
Subject: Re: Dynamic type system for Ada
Date: Fri, 27 Jan 2017 21:20:33 +0200
Date: 2017-01-27T21:20:33+02:00 [thread overview]
Message-ID: <o6g6i0$1841$1@gioia.aioe.org> (raw)
In-Reply-To: 874m0nlmqw.fsf@nightsong.com
Paul Rubin wrote:
> Victor Porton <porton@narod.ru> writes:
>> Due to pure curiosity, I ask: Has anybody developed a dynamic type system
>> for Ada?
>
> That's not so easy. You have to be able to wrap an arbitrary Ada object
> in another object, along with a tag saying what the Ada type is. That
> means you have to be able to encode every Ada type into a tag, and types
> can be quite complicated (maybe arbitrary tree structures even). Also
> the compiler might or might not have a way of telling the runtime what
> type something has.
In my initial request there was no proposal to encode arbitrary Ada object.
> There is something like this in Haskell called Data.Dynamic, but they
> had to add special features to the compiler and runtime to support it.
--
Victor Porton - http://portonvictor.org
next prev parent reply other threads:[~2017-01-27 19:20 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-01-24 13:12 Dynamic type system for Ada Victor Porton
2017-01-24 13:44 ` Dmitry A. Kazakov
2017-01-24 13:58 ` Victor Porton
2017-01-24 14:26 ` Dmitry A. Kazakov
2017-01-24 18:07 ` Jeffrey R. Carter
2017-01-24 21:21 ` Randy Brukardt
2017-01-24 22:01 ` J-P. Rosen
2017-01-25 8:23 ` Dmitry A. Kazakov
2017-01-25 21:55 ` Randy Brukardt
2017-01-25 8:38 ` Georg Bauhaus
2017-01-25 5:41 ` Paul Rubin
2017-01-27 19:20 ` Victor Porton [this message]
2017-01-28 1:16 ` Dennis Lee Bieber
2017-01-28 9:37 ` Jeffrey R. Carter
2017-01-26 17:53 ` Vincent
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox