Typsysteme

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


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



Johannes Waldmann 2008-01-23