Statische Typen sind streng

jede Funktion hat genau einen Resultattyp. Also nicht:

?? foo (int x) {
   if (12 < x) { return "umpf" ; }
   else        { return 2 * x  ; }
}
void bar () { int y = foo (9); }

Es geht aber doch: in Sprachen mit ...



Johannes Waldmann 2006-02-02