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-03-30 01:44:52 PST
Path: 
 supernews.google.com!sn-xit-02!supernews.com!news.gv.tsc.tdk.com!news.iac.net!news-out.cwix.com!newsfeed.cwix.com!EU.net!npeer.kpnqwest.net!news.tele.dk!151.189.0.75!newsfeed.germany.net!newsfeed2.easynews.net!easynews.net!news.cid.net!news.enyo.de!news1.enyo.de!not-for-mail
From: Florian Weimer <fw@deneb.enyo.de>
Newsgroups: comp.lang.ada
Subject: Re: Static typing (Was Re: Better support for garbage collection)
Date: 30 Mar 2001 11:51:43 +0200
Organization: Enyo's not your organization
Message-ID: <87g0fvtwi8.fsf@deneb.enyo.de>
References: <98m938$2iod0$1@ID-25716.news.dfncis.de>
 <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>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Xref: supernews.google.com comp.lang.ada:6236
Date: 2001-03-30T11:51:43+02:00
List-Id: <comp.lang.ada>

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).