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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,fd63afa4dc364b7e
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-04-02 01:56:03 PST
Path: 
 supernews.google.com!sn-xit-03!supernews.com!logbridge.uoregon.edu!fu-berlin.de!uni-berlin.de!ailinel.cbb-automation.DE!not-for-mail
From: dmitry@elros.cbb-automation.de (Dmitry Kazakov)
Newsgroups: comp.lang.ada
Subject: Re: Static typing (Was Re: Better support for garbage collection)
Date: Mon, 02 Apr 2001 08:54:05 GMT
Message-ID: <3ac83acd.4829718@news.cis.dfn.de>
References: <wcc1ys0du8j.fsf@world.std.com>
 <98pgs1$32up7$1@ID-25716.news.dfncis.de> <wccu24tr86u.fsf@world.std.com>
 <Pine.BSF.4.21.0103160840560.2903-100000@shell5.ba.best.com>
 <wcck85pr56b.fsf@world.std.com> <98umc6$39coj$1@ID-25716.news.dfncis.de>
 <Pine.BSF.4.21.0103171448570.21157-100000@shell5.ba.best.com>
 <wccwv9o0xky.fsf@world.std.com>
 <Pine.BSF.4.21.0103171624210.21157-100000@shell5.ba.best.com>
 <wcc7l1l3hpm.fsf@world.std.com>
 <Pine.BSF.4.21.0103192012240.2056-100000@shell5.ba.best.com>
 <LwTt6.704$EG6.248219745@newssvr16.news.prodigy.com>
 <wccelvrp7xk.fsf@world.std.com>
 <K8du6.443$uE.92481609@newssvr10-int.news.prodigy.com>
 <wccofutg3ku.fsf@world.std.com>
 <XVov6.54$aC3.6927396@newssvr16.news.prodigy.com>
 <wccr8zl4h0n.fsf@world.std.com>
 <t5Rv6.212$wd2.29337625@newssvr16.news.prodigy.com>
 <wccvgotscxo.fsf@world.std.com>
 <4mzw6.414$OQ6.73321643@newssvr16.news.prodigy.com>
 <wccofuk87gj.fsf@world.std.com> <3ac446f0.1707484@news.cis.dfn.de>
 <87g0fvtwi8.fsf@deneb.enyo.de>
NNTP-Posting-Host: ailinel.cbb-automation.de (212.79.194.99)
X-Trace: fu-berlin.de 986201645 4399651 212.79.194.99 (16 [77047])
X-Newsreader: Forte Free Agent 1.21/32.243
Xref: supernews.google.com comp.lang.ada:6325
Date: 2001-04-02T08:54:05+00:00
List-Id: <comp.lang.ada>

On 30 Mar 2001 11:51:43 +0200, Florian Weimer <fw@deneb.enyo.de>
wrote:

>dmitry@elros.cbb-automation.de (Dmitry Kazakov) writes:
>
>> IMO the actual problem is not inventing some
>> complex overloading rules, but supporting type conversions.
>
>Type conversions do not mix very well with the extensive overloading
>support provided by Ada (e.g. function overloading based on return
>type).

It works for derived types, it would work for user-defined conversions
too. IMO a real argument against it always was (and it still holds)
that "skilfully" designed conversions may turn a program into a mess
(PL/1 disaster is an example). So the problem is how to limit
user-defined conversions.

Regards,
Dmitry Kazakov