TypeScriptでDiff型を表現する - Qiita

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

[efcl]

TypeScriptでDiff型の表現

[Sampo]

頑張ればなんとかできてしまうの積み重ねがC++の闇化の道と重なるのであんまりこっちの方へ行ってほしくない感はある。

[joe-re]

よくこんなの思いつくなー。すごい

[todesking]

tsの型システムすごいことになっとる