Sujet : Re: GIMP 3.0.0-RC1
De : commodorejohn (at) *nospam* gmail.com (John Ames)
Groupes : comp.os.linux.misc comp.os.linux.advocacyDate : 13. Feb 2025, 17:03:00
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <20250213080300.00001d26@gmail.com>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
User-Agent : Claws Mail 4.3.0 (GTK 3.24.42; x86_64-w64-mingw32)
On Wed, 12 Feb 2025 23:41:23 -0500
"
WokieSux282@ud0s4.net" <
WokieSux283@ud0s4.net> wrote:
As for including type info - limits and more - the effective overhead
in these days of gigabit flow and GHz multicore chips is negligible.
As such I'd say to include it one way or another.
Again, if you want to argue for the safety of enforced bounds-checking
being worth the trade-off in performance, I'm willing to entertain that
argument, even if I only situationally agree. Lots of languages have
chosen to make that trade, and more power to 'em.
But what remains absolutely - and, AFAIK, uniquely - *demented* is for
a language to specify that *two arrays of different sizes are different
types of entity,* even if their elements are identically-typed.
There is *no* reason that I can see to do this. A language that forgoes
bounds-checking entirely gains some performance, at the cost of safety;
a language that includes bounds info as part of the array's structure
gains safety and convenience at the cost of some performance. Pascal,
on the other hand, gets no performance advantage, while burdening the
programmer with all the bookkeeping that is *necessary* for safety in
languages like C, even though it keeps all the information needed to
provide a less burdensome, more convenient alternative. Truly deranged.