Orthogonalität

Polymorphie über alle Typen?

Es gibt Unterschiede zwischen atomaren Typen, Arrays, Objekten, Funktionen

Beispiel: Sortieren.

• C++: bool operator< (T, T)
• Java: T implements Comparable<T>

  nicht für atomare Typen möglich