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
![TypeScriptでDiff型を表現する - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/cc05b7dc00302a959b268ec999509fcab3b3d95a/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-412672c5f0600ab9a64263b751f1bc81.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk3MiZoPTM3OCZ0eHQ9VHlwZVNjcmlwdCVFMyU4MSVBN0RpZmYlRTUlOUUlOEIlRTMlODIlOTIlRTglQTElQTglRTclOEYlQkUlRTMlODElOTklRTMlODIlOEImdHh0LWFsaWduPWxlZnQlMkN0b3AmdHh0LWNvbG9yPSUyMzIxMjEyMSZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT01NiZzPTg4YWNkM2MwMzcxZWM0NjJmYjdiNDYzMDlmYzBkYzk4%26mark-x%3D142%26mark-y%3D57%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZoPTc2Jnc9NzcwJnR4dD0lNDB0eXBvZXJyJnR4dC1jb2xvcj0lMjMyMTIxMjEmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9MzYmdHh0LWFsaWduPWxlZnQlMkN0b3Amcz0xZWQ1NGMxZGE4NzUxNTdjYWFmYTFmM2Y5MDI5OWE4MA%26blend-x%3D142%26blend-y%3D486%26blend-mode%3Dnormal%26s%3D9c29d8f024a6e5627da2e48fd9068640)