Quicktip: Rest-Parameter für typisierte Arrays

[1unitedpower]

Du hast meinen Knackpunkt überlesen, der handelte nämlich davon die Typkorrektheit bereits zur Entwicklungszeit (=statisch) und nicht erst zur Laufzeit (=dynamisch) sicherzustellen.

Bitte erklär das mal, am Besten anhand eines Beispiels.

Das heißt, dass Fehler durch falsch-getypte Programme bereits während der Entwicklung ausgeschlossen werden können.

Danke Dir, gut erklärt ;)

Offensichtlich nicht gut genug, denn

tie my @numbers, 'IntArray';
push @numbers, 123;   # alles gut
push @numbers, 'foo'; # schmeißt ne Exception

Exceptions sind Laufzeit-Fehler. Ein statischer Typchecker sollte das falsch-getypte Programm aber schon vor der Laufzeit des Programms zurückweisen.