TypeScriptのissueでたまたまDiff型に対する議論を発見したので現段階での表現方法を紹介します。 Add support for literal type subtraction · Issue #12215 · Microsoft/TypeScript 以下ではissueで紹介されている型の名前と定義を若干変えて紹介します。 Diff型とは何か Diff型とはAとBの型の差分を推論する型です。FlowではUtility Typesとして提供されています。 $Diff - Utility Types | Flow type A = { a: number, b: string } type B = { a: number } type T = $Diff<A, B> // { b: string } & { a?: number } type DiffKey<T extend