... limits and are far from being "Universal Good". I repeat it here since, admittedly, the thread is quite long. The time is not so far away when we will regard an ArrayIndexOutOfBoundsException a typing error, just as we today may regard a NullPointerException a typing error Really. Yes. Consider this program (in pseudocode): define array A [1..78556...

... design involves tradeoffs, and that your cherished compile-time static typing is not necessarily a Universal Good. The time is not so far away when we will regard an ArrayIndexOutOfBoundsException a typing error, just as we today may regard a NullPointerException a typing error Really. Consider this program (in pseudocode): define array A [1..78556]; set i =...

... the rest, where dollars or human lifes count, we'll have languages with even more advanced type systems. The time is not so far away when we will regard an ArrayIndexOutOfBoundsException a typing error There is no free lunch. A program is a specification of behavior. A type model is a specification of constraints on that behavior. Any type-model sophisticated enough to ...

...And for the rest, where dollars or human lifes count, we'll have languages with even more advanced type systems. The time is not so far away when we will regard an ArrayIndexOutOfBoundsException a typing error There is no free lunch. A program is a specification of behavior. A type model is a specification of constraints on that behavior. Any type-model sophisticated enough to fully ...

... used to be. And for the rest, where dollars or human lifes count, we'll have languages with even more advanced type systems. The time is not so far away when we will regard an ArrayIndexOutOfBoundsException a typing error, just as we today may regard a NullPointerException a typing error (or rather a misdesign in the language (i.e. java) that allows one to confuse values of type T and Maybe...

...weiter ergeben. Von einem Freelancer habe ich mal folgendes bekommen: ----------------- schnipp int i = 0; try{ while(true){ arbeiteMitArrayElement(array[i++]); } } catch(ArrayIndexOutOfBoundsException aioobe){} ----------------- schnapp Nachdem der erste WTF-Moment verflogen war und rueckge- fragt wurde, wurde als Grund genannt, das eine Ueber- pruefung auf true...