空のタイプのスクリプト

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よりも多くのことをセットで行うことができますが、これは単なる例です。