From: Victor Porton <porton@narod.ru>
Subject: Re: Rough proposal to make some generic types static
Date: Tue, 22 Jul 2014 00:58:48 +0300
Date: 2014-07-22T00:58:48+03:00 [thread overview]
Message-ID: <lqk2ej$3r1$4@speranza.aioe.org> (raw)
In-Reply-To: a6ff57b6-911d-45b1-bf2f-98123ec4648f@googlegroups.com
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
next prev parent reply other threads:[~2014-07-21 21:58 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-07-21 20:44 Rough proposal to make some generic types static Victor Porton
2014-07-21 20:54 ` Victor Porton
2014-07-21 21:28 ` Niklas Holsti
2014-07-21 21:32 ` Victor Porton
2014-07-21 21:43 ` Niklas Holsti
2014-07-21 23:10 ` Randy Brukardt
2014-07-21 21:39 ` Adam Beneschan
2014-07-21 21:44 ` Victor Porton
2014-07-21 21:54 ` Adam Beneschan
2014-07-21 21:58 ` Victor Porton [this message]
2014-07-22 0:20 ` Randy Brukardt
2014-07-23 21:36 ` Robert A Duff
2014-07-21 22:06 ` Shark8
2014-07-21 23:12 ` Randy Brukardt
2014-07-22 9:53 ` AdaMagica
2014-07-22 21:10 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox