skaller wrote:
>
> All advanced programming languages have unsound type systems
> of necessity. Some falsely claim soundness by denying the
> expression of certain type information (eg array bounds
> or the type of integers excluding zero).

No. Soundness is the absence of /untrapped/ errors. Exceptions are
/trapped/ errors. Huge difference, esp with respect to safety and
security.

- Andreas