From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: Dynamic type system for Ada
Date: Sat, 28 Jan 2017 10:37:43 +0100
Date: 2017-01-28T10:37:43+01:00 [thread overview]
Message-ID: <o6hom2$dmi$1@dont-email.me> (raw)
In-Reply-To: <74sn8cdapfokik36fki449cdjb34l169lh@4ax.com>
On 01/28/2017 02:16 AM, Dennis Lee Bieber wrote:
> On Fri, 27 Jan 2017 21:20:33 +0200, Victor Porton <porton@narod.ru>
> declaimed the following:
>>
>> In my initial request there was no proposal to encode arbitrary Ada object.
>>
> Your subject line is "dynamic type system...", so naturally we would
> consider anything in Ada that can be defined via "... type ..."
On Jan 24 he wrote
>> 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).
"Any kind of value" must mean "values of any type".
--
Jeff Carter
"Pray that there's intelligent life somewhere up in
space, 'cause there's bugger all down here on earth."
Monty Python's Meaning of Life
61
next prev parent reply other threads:[~2017-01-28 9:37 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
2017-01-28 1:16 ` Dennis Lee Bieber
2017-01-28 9:37 ` Jeffrey R. Carter [this message]
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