27 Mar
2006
27 Mar
'06
11:36 a.m.
On Mon, 27 Mar 2006, Neil Mitchell wrote:
Doesn't Ada have constrained number types which have similar behaviour?
Yes. Just for comparison, the behaviour of the Ada number is to throw an exception at runtime if a number overflows its bounds. If these checks can be eliminated statically, then they are. If an operation will always give a runtime error then this is given as a warning at compile time.
Quite similar to Modula (maybe also Pascal), as I indicated. There the bounded integers are called sub-ranges.