From: Bill Kelly <billk@...>
Date: 2008-04-16T05:00:29+09:00
Subject: Re: Ada vs Ruby


From: <framefritti@gmail.com>
>
>  For example, if you write
> 
>   type Month_Day is new Integer range 1..31;
> 
>   MD : Month_Day := 30;
> 
>   MD := MD + 3;
> 
> you will get a runtime error because MD exit from the allowed range.
> In C this bug could comfortably sleeps for centuries...

The example you've provided causes me to wonder whether such 
language level range limiting could instill a false sense of
security in the programmer.

Please have your ada program send me an email on February 31st!

<grin>

Seems like range checking would work well for Month range 1..12;
but not so well for Month_Day... ?


Regards,

Bill