Anfang weiterAusdruckskraft
Implikation statt Java-Typ-Kompatibilität. Wenn Bedingung(Prädikat) A erfüllt ist, muss Bedingung(Prädikat) B erfüllt sein. Wenn Bedingung(Prädikat) A nicht erfüllt ist, darf Bedingung(Prädikat) B erfüllt oder nicht sein. A => B Beispiel (NonNegativeInt): x >= 0 && => x >= 0 x % 2 == 0 Operator doppelter Pfeil nach rechts (fat arrow) (Basis meines Code-Generators)