Deklaration und Inferenz

• Deklaration:

  Programmierer gibt für jeden Bezeichner Typ an, Compiler prüft auf Konsistenz.

  Prinzip: (f : : a$\to$b $\wedge$ x : : a) $\Rightarrow$ f (x) : : b

• Inferenz:

  Compiler berechnet (= inferiert) Typ der Bezeichner

  Prinzip: aus var x = 5; folgt x :: int