From: Vincent <vincent.diemunsch@gmail.com>
Subject: Re: Dynamic type system for Ada
Date: Thu, 26 Jan 2017 09:53:51 -0800 (PST)
Date: 2017-01-26T09:53:51-08:00 [thread overview]
Message-ID: <a77fd010-c2da-41d5-bab2-414b1cc6e050@googlegroups.com> (raw)
In-Reply-To: <o67jre$pfu$1@gioia.aioe.org>
Le mardi 24 janvier 2017 14:12:16 UTC+1, Victor Porton a écrit :
> 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.
>
You may simply need to copy what has been done for Python objects in C. The root object has reference counting and an associated type object (or Class object in Objective-C), that references it's methods, through interfaces...
This may be very useful, for scientific computations for instance.
The challenge is to find a good integration in the Ada language. Precisely, Matlab and Python are languages, not simply libraries in C, even if there runtime is in C. See also for instance the limitations of Unbounded_Strings compared to native Ada Strings.
Regards,
Vincent
prev parent reply other threads:[~2017-01-26 17:53 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
2017-01-26 17:53 ` Vincent [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox