From: dewar@gnat.com (Robert Dewar)
Subject: Re: Extended modal types
Date: 29 May 2002 16:36:12 -0700
Date: 2002-05-29T23:36:12+00:00 [thread overview]
Message-ID: <5ee5b646.0205291536.7ab80026@posting.google.com> (raw)
In-Reply-To: 3CF4F1A8.6A491F3@yahoo.com
Anatoly Chernyshev <rhezusfactor@yahoo.com> wrote in message news:<3CF4F1A8.6A491F3@yahoo.com>...
> Well, this post got a surprising response, so I have to make some
> explanation on that.
> First, I beg your pardon for probable confusing of the terms. I did not
> think of modular types as a computer scientist, instead I just thought of
> some �cyclical� integer type, which will never overflow even being added
> with an �out of range� number. I found this type should mostly be the
> modular alike.
So please read my post carefully and explain why ordinary
modular types do not meet this need perfectly well?
prev parent reply other threads:[~2002-05-29 23:36 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-05-24 8:53 Extended modal types Anatoly Chernyshev
2002-05-24 11:38 ` Marc A. Criley
2002-05-25 15:57 ` Robert Dewar
2002-05-25 18:06 ` Frank J. Lhota
2002-05-25 18:40 ` Florian Weimer
2002-05-25 21:56 ` David C. Hoos, Sr.
2002-05-27 4:57 ` Robert I. Eachus
2002-05-27 5:52 ` Florian Weimer
2002-05-27 23:47 ` Robert I. Eachus
2002-05-29 1:16 ` Robert Dewar
2002-05-29 2:31 ` Robert A Duff
2002-05-29 9:19 ` Dmitry A. Kazakov
2002-05-29 9:54 ` Robert Dewar
2002-05-29 15:20 ` Anatoly Chernyshev
2002-05-29 23:36 ` Robert Dewar [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox