Why don't other programming languages have ranges?

[Walter Bright]

BCS wrote:
> Every engineering discipline I have any experience with gets a heck of a 
> lot closer to producing formal proofs of correctness than programing. 

Mechanical engineering designs also tend to be a lot simpler than programs, 
although the environment they work in is far more complex. Modeling for the 
design analysis also takes a very simplified view of the actual design, 
justified by taking the worst case. For example, the strength calculations are 
done for the weakest cross section, and are not bothered with for the obviously 
stronger sections.

Furthermore, after a while a good mechanical engineer develops a "feel" for 
things that is pretty darned accurate. Going through the analysis is a backup 
for that and is used to fine tune the design.