From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: gnat.string_split , howto manipulate slice numbers
Date: Thu, 31 Oct 2019 19:36:45 +0100
Date: 2019-10-31T19:36:45+01:00 [thread overview]
Message-ID: <qpf9jt$kto$1@dont-email.me> (raw)
In-Reply-To: <qpec2q$12g5$1@gioia.aioe.org>
Le 31/10/2019 à 11:12, Dmitry A. Kazakov a écrit :
> BTW, here come further issues why indexing by integer types is not so
> good idea from the strong typing point of view. Arithmetic on indices
> does not make sense, like adding or multiplying times does not. Except
> some rare cases of low-level programming index arithmetic is an error.
you can even declare:
function "*" (L, R : T) return T is abstract;
and thus forbid the use of multiplication when it does not make sense.
Most programming languages praise what they allow to do; Ada is the only
language that praises what it prevents from doing!
--
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr
next prev parent reply other threads:[~2019-10-31 18:36 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-10-29 1:54 gnat.string_split , howto manipulate slice numbers Alain De Vos
2019-10-29 8:17 ` briot.emmanuel
2019-10-29 16:56 ` Jeffrey R. Carter
2019-10-29 19:36 ` Niklas Holsti
2019-10-29 23:06 ` J-P. Rosen
2019-11-01 9:45 ` joakimds
2019-10-29 23:36 ` Stephen Leake
2019-10-29 8:35 ` Simon Wright
2019-10-29 11:08 ` Alain De Vos
2019-10-29 11:20 ` Alain De Vos
2019-10-29 16:44 ` J-P. Rosen
2019-10-29 16:47 ` Simon Wright
2019-10-29 18:33 ` J-P. Rosen
2019-10-29 19:37 ` Dmitry A. Kazakov
2019-10-30 11:30 ` Simon Wright
2019-10-31 9:30 ` joakimds
2019-10-31 10:12 ` Dmitry A. Kazakov
2019-10-31 18:36 ` J-P. Rosen [this message]
2019-11-01 9:39 ` joakimds
2019-10-29 16:41 ` Simon Wright
2019-10-29 16:53 ` Jeffrey R. Carter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox