5
型に算術を設定できるプログラミング言語はありますか?
好奇心から、型に算術を設定して新しい型を作成できる言語はありますか?何かのようなもの: 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 & B) ^ B; // has c() 一部の言語ではこれらのアイデアを表現できることを知っています(つまり、JavaはList<Comparable …