Empty set in type script

Question

Ich habe eine theoretische Frage. Gibt es eine Möglichkeit, einen Typ in TypeScript zu entwerfen, der die leere Menge bezeichnet? Ich habe versucht, eine mit Union, disjoint Union, Kreuzung und mehr zu definieren ...

Answer 1

Ja, obwohl ich denke, die Nützlichkeit eines solchen Typs hängt viel von Ihrer Art der Programmierung ab. Sie könnten EmptySet wie folgt definieren:

interface ISet { 
    intersection: (s: ISet) => ISet; 
    union: (s: ISet) => ISet; 
} 

class EmptySet implements ISet { 
    intersection(s: ISet) { 
     return this; 
    } 

    union(s: ISet) { 
     return s; 
    } 
} 

class NonEmptySet implements ISet { ... } 

ISet der generischen Vertrag eines Satzes ist, ist EmptySet ein konkreter Typ, der diesen Vertrag implementiert. Offensichtlich kann man mit einem Set mehr Sachen machen als union und intersection, dies ist nur ein Beispiel.