Kompositum-Vermeidung

Wenn Blätter keine Schlüssel haben, geht es musterfrei?

class Tree<K> {
   Tree<K> left; K key; Tree<K> right;
}
Der entsprechende algebraische Datentyp ist
data Tree k =
     Tree { left :: Maybe (Tree k)
          , key :: k
          , right :: Maybe (Tree k)
          }
erzeugt in Java das Problem, daß ...

Übung: betrachte Implementierung in java.util.Map<K,V>



Johannes Waldmann 2013-06-11