[Info-vax] Rust as a HS language, was: Re: Quiet?

[Don Baccus]

On Friday, April 8, 2022 at 10:13:21 AM UTC-7, Arne Vajhøj wrote:
> On 4/7/2022 2:46 PM, Dan Cross wrote: 
> > In article <t2navi$sdf$2... at dont-email.me>, 
> > Simon Clubley <clubley at remove_me.eisner.decus.org-Earth.UFP> wrote: 
> >> BTW, I wouldn't mind seeing Ada's ranged integers showing up elsewhere, 
> >> including being supported as an array index. That's a very nice feature 
> >> of Ada. 
> > 
> > That's a feature I would very much like to have. 
> 
> Pascal has it. 
> 
> :-) 
> 
> $ type ar.pas 
> program ar(input,output); 
> 
> type 
> r = 1..3; 
> a = array[r] of integer; 

Yes, ADA took the idea from Pascal.

The Oregon Software Pascal-2 compiler leveraged this to reduce checking (when checking was enabled) and that worked reasonably well if the programmer was careful about declaring ranges when it made sense to do so.