Typprüfungen

• Typen bei Argumentübergabe und Resultatrückgabe müssen passen.
• vgl. Diskussion bei Variablen (Initialisierung, Zuweisung).
• • Namensgleichheit
  • Konvertierbarkeit (long $\to$ double? usw.)
  • Instantiierung einer Typschablone