From: Nomen Nescio <nobody@dizum.com>
Subject: Re: Practicalities of Ada for app development
Date: Sun, 10 Jun 2012 23:36:46 +0200 (CEST)
Date: 2012-06-10T23:36:46+02:00 [thread overview]
Message-ID: <42a87cf3ce9bfd6054f78b2b5b356301@dizum.com> (raw)
In-Reply-To: 1c82b5mc3waww.1t6q6vj61u36u.dlg@40tude.net
"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote:
>
> > Please, why have you defined Code_Point as a modular type?
>
> Because code point is unsigned. When you declare something signed
> you do that because you want negative inverses. Signed integers have
> the base type with 0 in the middle of its range.
That's no reason to use mod. You can put boundaries where you want
them, integer, or mod.
It's about the operators. Mod affects the arithmetic. If you want
my_type'last + 1 to equal my_type'first, then mod is appropriate. If
you want the Ada runtime to bitch when you do that, then a unsigned
non-modular discrete type is appropriate.
Choosing a modular type in a case where it doesn't make sense to have
modular arithmetic operators is an abuse of the language.
next prev parent reply other threads:[~2012-06-10 21:36 UTC|newest]
Thread overview: 112+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-06-08 20:48 Practicalities of Ada for app development wrp
2012-06-08 21:35 ` Jeffrey Carter
2012-06-09 0:40 ` Adam Beneschan
2012-06-09 6:38 ` Jeffrey Carter
2012-06-21 17:14 ` Randy Brukardt
2012-06-21 18:16 ` Adam Beneschan
2012-06-21 19:18 ` J-P. Rosen
2012-06-21 20:30 ` Adam Beneschan
2012-06-21 21:09 ` Randy Brukardt
2012-06-22 4:59 ` Simon Wright
2012-06-22 5:32 ` Tero Koskinen
2012-06-22 19:51 ` Randy Brukardt
2012-06-21 21:15 ` J-P. Rosen
2012-06-22 10:43 ` Tero Koskinen
2012-06-21 21:00 ` Randy Brukardt
2012-06-21 21:18 ` J-P. Rosen
2012-06-22 19:55 ` Randy Brukardt
2012-06-23 6:43 ` J-P. Rosen
2012-06-09 4:30 ` BrianG
2012-06-09 7:11 ` Georg Bauhaus
2012-06-13 10:20 ` quiet_lad
2012-06-09 6:55 ` gautier_niouzes
2012-06-09 7:04 ` Georg Bauhaus
2012-06-09 9:25 ` Nomen Nescio
2012-06-09 9:36 ` Dmitry A. Kazakov
2012-06-10 3:46 ` Yannick Duchêne (Hibou57)
2012-06-12 20:10 ` i3text
2012-06-13 7:55 ` Dmitry A. Kazakov
2012-06-21 17:21 ` Randy Brukardt
2012-06-13 10:28 ` quiet_lad
2012-06-13 13:07 ` Dmitry A. Kazakov
2012-06-09 16:09 ` tmoran
2012-06-13 10:29 ` quiet_lad
2012-06-09 23:18 ` darkestkhan
2012-06-10 3:56 ` Yannick Duchêne (Hibou57)
2012-06-10 14:04 ` Dmitry A. Kazakov
2012-06-10 16:51 ` Yannick Duchêne (Hibou57)
2012-06-10 17:00 ` Dmitry A. Kazakov
2012-06-10 17:18 ` Yannick Duchêne (Hibou57)
2012-06-10 19:33 ` Dmitry A. Kazakov
2012-06-10 21:36 ` Nomen Nescio [this message]
2012-06-11 8:22 ` Dmitry A. Kazakov
2012-06-11 14:27 ` Georg Bauhaus
2012-06-11 14:43 ` Dmitry A. Kazakov
2012-06-11 16:19 ` Jacob Sparre Andersen
2012-06-11 18:38 ` Dmitry A. Kazakov
2012-06-11 17:14 ` Georg Bauhaus
2012-06-11 18:38 ` Dmitry A. Kazakov
2012-06-11 20:50 ` Georg Bauhaus
2012-06-11 21:43 ` Yannick Duchêne (Hibou57)
2012-06-12 7:55 ` Dmitry A. Kazakov
2012-06-12 9:48 ` Georg Bauhaus
2012-06-12 11:44 ` Dmitry A. Kazakov
2012-06-12 12:17 ` Georg Bauhaus
2012-06-12 12:18 ` Dmitry A. Kazakov
2012-06-11 18:29 ` Adam Beneschan
2012-06-11 19:16 ` Jeffrey Carter
2012-06-11 21:47 ` Yannick Duchêne (Hibou57)
2012-06-21 17:39 ` Randy Brukardt
2012-06-21 17:34 ` Randy Brukardt
2012-06-10 18:15 ` darkestkhan
2012-06-10 19:25 ` Dmitry A. Kazakov
2012-06-11 6:34 ` Jacob Sparre Andersen
2012-06-21 17:41 ` Randy Brukardt
2012-06-10 15:49 ` Shark8
2012-06-10 17:04 ` Yannick Duchêne (Hibou57)
2012-06-10 19:47 ` Dmitry A. Kazakov
2012-06-11 0:37 ` Nasser M. Abbasi
2012-06-11 8:37 ` Dmitry A. Kazakov
2012-06-12 6:24 ` Yannick Duchêne (Hibou57)
2012-06-12 7:59 ` Dmitry A. Kazakov
2012-06-13 10:35 ` quiet_lad
2012-06-13 13:09 ` Dmitry A. Kazakov
2012-06-14 3:21 ` quiet_lad
2012-06-14 7:58 ` Dmitry A. Kazakov
2012-06-14 8:39 ` Yannick Duchêne (Hibou57)
2012-06-14 9:26 ` Dmitry A. Kazakov
2012-06-21 17:51 ` Randy Brukardt
2012-06-11 0:00 ` Nasser M. Abbasi
2012-06-11 3:23 ` Jeffrey Carter
2012-06-11 21:10 ` Nomen Nescio
2012-06-11 21:55 ` Adam Beneschan
2012-06-12 8:07 ` Nomen Nescio
2012-06-12 15:28 ` Fritz Wuehler
2012-06-12 21:34 ` Nomen Nescio
2012-06-14 11:12 ` Nomen Nescio
2012-06-21 18:01 ` Randy Brukardt
2012-06-12 21:12 ` Nomen Nescio
2012-06-13 0:04 ` Adam Beneschan
2012-06-13 3:04 ` Shark8
2012-06-13 8:21 ` Dmitry A. Kazakov
2012-06-13 18:21 ` Shark8
2012-06-13 19:11 ` Dmitry A. Kazakov
2012-06-13 22:01 ` Yannick Duchêne (Hibou57)
2012-06-14 8:02 ` Dmitry A. Kazakov
2012-06-14 9:10 ` Yannick Duchêne (Hibou57)
2012-06-14 9:33 ` Dmitry A. Kazakov
2012-06-21 18:10 ` Randy Brukardt
2012-06-13 8:35 ` Yannick Duchêne (Hibou57)
2012-06-13 8:37 ` Georg Bauhaus
2012-06-13 10:14 ` Georg Bauhaus
2012-06-11 22:49 ` Jeffrey Carter
2012-06-13 10:31 ` quiet_lad
2012-06-13 12:57 ` Maciej Sobczak
2012-06-14 4:18 ` quiet_lad
2012-06-14 7:35 ` Ludovic Brenta
2012-06-14 10:02 ` Georg Bauhaus
2012-06-12 19:17 ` i3text
2012-06-12 19:52 ` Vadim Godunko
2012-06-27 18:39 ` Eryndlia Mavourneen
2012-06-27 18:46 ` Eryndlia Mavourneen
2012-06-28 13:23 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox