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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: 
 buffer1.nntp.dca1.giganews.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!news.glorb.com!feeder.erje.net!us.feeder.erje.net!newsfeed.fsmpi.rwth-aachen.de!newsfeed.straub-nv.de!eternal-september.org!feeder.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: Georg Bauhaus <bauhaus@futureapps.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Self-modifying code
Date: Sun, 12 Jul 2015 11:10:07 +0200
Organization: A noiseless patient Spider
Message-ID: <mntaqn$1k1$1@dont-email.me>
References: <eb2440ca-06d4-4192-bdca-0444c2953eb9@googlegroups.com>
	<87h9pa2do6.fsf@jester.gateway.sonic.net>
	<9c3ad4ad-1323-4c13-b2d2-dad6b1ea1c39@googlegroups.com>
 <87d1zx3ory.fsf@jester.gateway.sonic.net>
Reply-To: nonlegitur@futureapps.de
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 12 Jul 2015 09:08:39 +0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="6e18a0c32b56725f1c79700f6451d81d";
 logging-data="1665"; mail-complaints-to="abuse@eternal-september.org";
 posting-account="U2FsdGVkX1/gGQ+rGkj0mvP76kx605MybjLeamMHTv8="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9;
 rv:31.0) Gecko/20100101 Thunderbird/31.7.0
In-Reply-To: <87d1zx3ory.fsf@jester.gateway.sonic.net>
Cancel-Lock: sha1:BXhFdVIN/RCStyTo+fSv1pmUbYU=
Xref: number.nntp.giganews.com comp.lang.ada:194099
Date: 2015-07-12T11:10:07+02:00
List-Id: <comp.lang.ada>

On 12.07.15 07:53, Paul Rubin wrote:
> David Botton <david@botton.com> writes:
>>> You could generate a dynamically linkable module, but this all seems
>>> pretty un-Ada.
>> I'm not sure the idea is about any particular language. I can think of
>> many ways to make it work, but all depend on the environment the code
>> will run in not really the language.
>
> Yeah, it's similar at a technical level, but I think philosophically out
> of sync with Ada, because of the additional moving parts.

OTOH, since Ada has improved its "contractual features",
linking dynamically seems more predictable now than ever
if these features are being used. More so if the linked
part is written in Ada, too.