comp.lang.ada
 help / color / mirror / Atom feed
From: Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>
Subject: Re: Hijacking a Thread was RE: New Ada compiler for .NET
Date: Fri, 10 Jan 2003 23:17:34 +0000 (UTC)
Date: 2003-01-10T23:17:34+00:00	[thread overview]
Message-ID: <avnkae$ms6$2@a1-hrz.uni-duisburg.de> (raw)
In-Reply-To: 1042177570.752923@master.nyc.kbcfp.com

Hyman Rosen <hyrosen@mail.com> wrote:
: What situations lead one to declare a type which is limited to a
: range of integers? I'm thinking fixed-size arrays, which I usually
: consider to be a design error.

not necessarily fixed, array(few range <>) implies arrays with
an upper limit of components.

add:
- documentary value,
- Design by Contract (since a number is required to be between 
some lo and hi, and a function ensures a number is in some
range indicated by the return type)
- building non-overlapping subtypes
- and, in general, if the "problem space" has some items ranging
between some lo and hi, such that an enumeration would not be
practical.

-- georg



  parent reply	other threads:[~2003-01-10 23:17 UTC|newest]

Thread overview: 70+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <Pn_TS1-GfE@vib.usr.pu.ru>
2002-12-23  1:03 ` Hijacking a Thread was RE: New Ada compiler for .NET Robert C. Leif
2002-12-23 11:11   ` Ingo Marks
2002-12-23 14:18     ` Hyman Rosen
2003-01-05 16:50       ` Adrian Hoe
2003-01-06  9:09         ` Hyman Rosen
2003-01-06  9:17         ` I. Marks
2003-01-06 22:12           ` Ted Dennison
2003-01-07  3:23             ` Hyman Rosen
2003-01-07 13:21               ` Ted Dennison
2003-01-08  4:52                 ` Hyman Rosen
2003-01-08  5:54                   ` James S. Rogers
2003-01-08 13:08                   ` Ted Dennison
2003-01-10  2:38                   ` Richard Riehle
2003-01-10  5:02                     ` Adrian Hoe
2003-01-10  5:23             ` Adrian Hoe
2003-01-11  4:47               ` Ted Dennison
2003-01-06 13:27         ` Larry Kilgallen
2003-01-07  3:30           ` Hyman Rosen
2003-01-07 13:24             ` Ted Dennison
2003-01-10  2:43             ` Richard Riehle
2003-01-10  5:13               ` Adrian Hoe
2003-01-10  5:17               ` Adrian Hoe
2003-01-10  5:11             ` Adrian Hoe
2003-01-10  5:46               ` Hyman Rosen
2003-01-10 15:09                 ` Ranged Types (was: Hijacking a Thread) Larry Kilgallen
2003-01-10 23:17                 ` Georg Bauhaus [this message]
2003-01-11  5:27                 ` Hijacking a Thread was RE: New Ada compiler for .NET Ted Dennison
2003-01-11  7:33                 ` Making bombs after graduation ( was Re: Hijacking a Thread was RE: New Ada compiler for .NET) faust
2003-01-10 13:53                   ` Christopher Browne
2003-01-11  9:10                     ` u.r. faust
2003-01-10 14:25                   ` Fraser Wilson
2003-01-10 10:41               ` Hijacking a Thread was RE: New Ada compiler for .NET Richard Riehle
2003-01-10 13:22                 ` Ada Compiler Pricing (was Re: Hijacking a Thread was RE: New Ada compiler for .NET) Marin David Condic
2003-01-10 22:38                   ` Richard Riehle
2003-01-11 14:15                     ` Marin David Condic
2003-01-14 20:02                     ` Kevin Cline
2003-01-14 23:03                       ` Pat Rogers
2003-01-15  2:00                       ` Adrian Hoe
2003-01-15  4:03                       ` John R. Strohm
2003-01-15 13:26                         ` Marin David Condic
2003-01-15 17:43                           ` Richard Riehle
2003-01-15 20:57                             ` Robert C. Leif
2003-01-15 22:53                               ` chris.danx
2003-01-16 12:58                                 ` Ada Compiler Pricing (was Re: Hijacking a Thread was RE: NewAda " Marin David Condic
2003-01-16  1:28                               ` Ada Compiler Pricing (was Re: Hijacking a Thread was RE: New Ada " Jeffrey Carter
2003-01-16  3:45                                 ` Ada Compiler Pricing (was Re: Hijacking a Thread was RE: NewAda " Richard Riehle
2003-01-16 15:44                                 ` Jerry Petrey
2003-01-16 19:50                                   ` Jeffrey Carter
2003-01-15 23:18                             ` Ada Compiler Pricing (was Re: Hijacking a Thread was RE: New Ada " John R. Strohm
2003-01-16  0:00                               ` Richard Riehle
2003-01-17 17:21                                 ` Warren W. Gay VE3WWG
2003-01-17 19:09                                   ` Ada Compiler Pricing (was Re: Hijacking a Thread was RE: NewAda " Richard Riehle
2003-01-16 12:50                             ` Ada Compiler Pricing (was Re: Hijacking a Thread was RE: New Ada " Marin David Condic
2003-02-03  9:33                             ` Ole-Hjalmar Kristensen
2003-01-11  4:38                   ` Adrian Hoe
2003-01-11  9:02                     ` Pascal Obry
2003-01-11 14:28                       ` Ada Compiler Pricing Marin David Condic
2003-01-13 12:33                     ` Ada Compiler Pricing (was Re: Hijacking a Thread was RE: New Ada compiler for .NET) John English
2003-01-13 16:15                       ` Adrian Hoe
2003-01-14 12:52                         ` Marin David Condic
2003-01-15  7:11                       ` AG
2003-01-27 12:33                 ` Hijacking a Thread was RE: New Ada compiler for .NET Colin Paul Gloster
2003-01-28 13:14                   ` Marin David Condic
2003-01-28 13:47                   ` Pat Rogers
2003-01-28 15:31                     ` Larry Kilgallen
2003-01-29 12:43                       ` Marin David Condic
2003-01-11  7:21               ` faust
2003-01-10 22:38             ` P S Norby
2003-01-11  3:44               ` Adrian Hoe
2003-01-13 12:31           ` John English
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox