Typsysteme

• statisch (Prüfung zur Übersetzungszeit, nicht zur Laufzeit)
• generisch polymorph

  Bsp: allgemeinster Typ von map?

vgl. generische Polymorphie in C++ (STL), Java (Collections Framework)

LISP, Prolog habe dynamisches Typsystem;
ML, Haskell, Mercury statisches.