[Haskell-cafe] Positive integers

[Henning Thielemann]

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.