Gibt es aus Neugier Sprachen, mit denen Sie Typen arithmetisch festlegen können, um neue Typen zu erstellen? So etwas wie: interface A { void a(); void b(); } interface B { void b(); void c(); } interface C = A & B; // has b() interface D = A | B; // has a(), b() and c() interface E = (A &...