Constraint-Expression

Verallgemeinerung

Typarithmetik Übertragung von Prinzipien aus Haskell/Scala nach Java Dritte Dimension des Java-Typ-Systems(and, or, not, xor) Erste Dimension: einfache Vererbung, quasi-Mehrfach-Vererbung über Interfaces Zweite Dimension: Type-Parameter, Generics, getrennte Typsierung von Container und enthaltenen Daten Dritte Dimension: Dieser Code-Generator mit Typ-Expressions
Anfang weiter