comp.lang.ada
 help / color / mirror / Atom feed
From: Robert A Duff <bobduff@TheWorld.com>
Subject: Re: C# new features (v.7)
Date: Sat, 17 Dec 2016 16:56:37 -0500
Date: 2016-12-17T16:56:37-05:00	[thread overview]
Message-ID: <wcctwa22p9m.fsf@TheWorld.com> (raw)
In-Reply-To: o33rnt$13e6$1@gioia.aioe.org

"Nasser M. Abbasi" <nma@12000.org> writes:

> On 12/17/2016 4:09 AM, Paul Rubin wrote:
>
>> Younger programmers (those who didn't grow up dealing with old slow
>> machines with little memory) generally use lower performance but more
>> convenient languages rather than C, Ada, etc.  They're protected from
>> integer overflow by bignums, memory errors by bounds checking,
>                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
>> alloc/free errors by garbage collection, etc.
>
> Which one of these so called "modern" and "fun" languages
> that Younger programmers use has bounds checking built in?

"bounds checking" means "array bounds checking".
Almost all languages have that (C being a notable exception).

I think you're thinking of "range checking", as in Ada where
you declare something to be "range 1..Integer'Last", and
it checks that you didn't assign 0 or -123 to it.
Fewer languages have that.

> Can one even declare a variable in these languages with restricted
> bounds?  May be I am misunderstanding the context you are thinking
> of here.
>
> I thought Ada was unique in this area, one of the few language
> if not only one.

Not unique.  Ada got the idea from Pascal.  And Modula-N and
other Wirthian languages have it.

> ...Ada also has got too complex from its
> original1983 version.

It was already too complex in 1983.

> --Nasser

- Bob


  parent reply	other threads:[~2016-12-17 21:56 UTC|newest]

Thread overview: 35+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2016-12-14 13:29 C# new features (v.7) gautier_niouzes
2016-12-14 16:59 ` Nasser M. Abbasi
2016-12-14 19:28   ` Shark8
2016-12-14 19:52   ` Wesley Pan
2016-12-14 23:01     ` Randy Brukardt
2016-12-16 10:03       ` Luke A. Guest
2016-12-16 20:19         ` Randy Brukardt
2016-12-15 14:19     ` Alejandro R. Mosteo
2016-12-16  8:34     ` Luke A. Guest
2016-12-17 10:09       ` Paul Rubin
2016-12-17 10:51         ` Hadrien Grasland
2016-12-17 11:36         ` Hadrien Grasland
2016-12-17 17:13         ` Nasser M. Abbasi
2016-12-17 17:52           ` Björn Lundin
2016-12-17 20:45           ` Dennis Lee Bieber
2016-12-17 21:56           ` Robert A Duff [this message]
2016-12-17 22:56             ` Simon Clubley
2017-02-05  0:37       ` Scott Loyd
2017-02-05  1:07         ` Luke A. Guest
2017-02-05 10:41         ` Lucretia
2017-02-05 16:12           ` Scott Loyd
2017-02-05 17:25             ` Lucretia
2016-12-16  7:49   ` Hadrien Grasland
2016-12-14 19:28 ` Shark8
2016-12-15  0:13   ` gautier_niouzes
2016-12-16  7:52     ` Hadrien Grasland
2016-12-16 10:08     ` Luke A. Guest
2016-12-16 13:04       ` Dennis Lee Bieber
2016-12-15 12:49   ` Alejandro R. Mosteo
2016-12-16  7:55     ` Hadrien Grasland
2016-12-16 12:43       ` Alejandro R. Mosteo
2016-12-16 20:14         ` Hadrien Grasland
2016-12-17  0:01           ` Alejandro R. Mosteo
2016-12-16  7:47 ` Hadrien Grasland
2017-01-31  1:29 ` brian catlin
replies disabled

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