類型腳本中的空集

Question

我有一個理論問題。有沒有辦法在TypeScript中設計一個表示空集的類型？ 我試着定義一個使用聯合，不相交的聯合，交集和更多...

Answer 1

是的，雖然我認爲這種類型的用處取決於您的編程風格。你可以定義EmptySet這樣的：

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是一套通用的合同，EmptySet是實現該合同的具體類型。很明顯，你可以使用一組比union和intersection做更多的事情，這只是一個例子。