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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail From: Victor Porton Newsgroups: comp.lang.ada Subject: Re: Rough proposal to make some generic types static Date: Tue, 22 Jul 2014 00:58:48 +0300 Organization: Aioe.org NNTP Server Message-ID: References: <45b2d813-f991-4c1c-b280-a1037bae8a66@googlegroups.com> NNTP-Posting-Host: rFX7cZOSaeuGGZI2vwQTaQ.user.speranza.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset="ISO-8859-1" Content-Transfer-Encoding: 7Bit X-Complaints-To: abuse@aioe.org User-Agent: KNode/4.12.4 X-Notice: Filtered by postfilter v. 0.8.2 Xref: news.eternal-september.org comp.lang.ada:21109 Date: 2014-07-22T00:58:48+03:00 List-Id: Adam Beneschan wrote: > On Monday, July 21, 2014 2:44:35 PM UTC-7, Victor Porton wrote: >> Adam Beneschan wrote: > >> I am not an expert in compiler optimization, but it looks anyway >> impossible for me to make efficient shared code for formal scalar types >> of possibly different sizes. > > Some users care more about code space than execution time. There are lots > of systems out there where memory space is severely limited. And I think > that was part of the intended market when Ada was designed. I do not say that sharing code is not useful. I say that (in my opinion) it is just too hard to implement (efficiently enough) in certain cases, such as when we have a formal scalar type, because its size in bytes may vary. If it does not work anyway, we do not lose dismissing it. -- Victor Porton - http://portonvictor.org