TypeScript 4.7と型レベルプログラミング

2022年5月14日のTechFeed Conference 2022の発表スライドです。

1. 2022-05-14 uhyo 5ZQF4DSJQU
   ͱ ܕϨϕϧϓϩάϥϛϯά 
2. About Speaker VIZP –-*/&ͷϑϩϯτΤϯυΤϯδχΞ –5ZQF4DSJQUͱ3FBDU͕ઐ໳ 5ZQF4DSJQUͷೖ໳ॻൃചதʂ
3. 型レベルプログラミングとは？ ܕͰΑΓਖ਼֬ͳϩδοΫΛهड़͠ɺ ίʔυͷ҆શੑΛߴΊΔͨΊʹ طଘͷܕ͔Β৽ͨͳܕΛ૑ग़͢Δख๏ͷ૯শ ʢVIZPͷݟղͰ͢ʣ
4. 型レベルプログラミングに使われる主な道具 –LFZPGܕ – ΦϒδΣΫτܕ͔ΒจࣈྻϦςϥϧܕΛಘΒΕΔك༗ͳଘࡏ –UZQFPGܕ – ஋ͷੈք͔Βܕͷੈք΁ͷڮ౉͠Λͯ͘͠ΕΔ –NBQQFE
   UZQFT – ΦϒδΣΫτܕͷ૑଄ʹඞཁෆՄܽ –DPOEJUJPOBM
   UZQFT – ϩδοΫͱ͍͑͹৚݅෼ذɻJOGFSʹΑΔܕͷύλʔϯϚον΋ڧྗ –VOJPO
   EJTUSJCVUJPO – ϢχΦϯܕΛࣗ༝ࣗࡏʹૢ࡞Ͱ͖Δڧྗͳػߏ –UFNQMBUF
   MJUFSBM
   UZQFT – ܕϨϕϧจࣈྻૢ࡞Λ͍ͨ͠ͱ͖ʹ͓ੈ࿩ʹͳΔ
5. 最近業務で書いた実例 type ResolversWhereTypesAreRemoved = Pick< Required<Resolvers>, { [K in keyof Resolvers]-?: NonNullable<Resolvers[K]> extends { __isTypeOf?: unknown } ? never : K; }[keyof Resolvers] >;
6. TypeScript 4.7の新機能たち ৭ʑ৽ػೳ͕͋Δ͕ɺܕϨϕϧϓϩάϥϛϯάʹ໾ཱͭػೳ ΋௥Ճ͞Εͨ –FYUFOET $POTUSBJOUT
   PO JOGFS 5ZQF
   7BSJBCMFT –*OTUBOUJBUJPO
   &YQSFTTJPOT –0QUJPOBM
   7BSJBODF
   "OOPUBUJPOT
   GPS
   5ZQF
   1BSBNFUFST
7. extends Constraints on infer Type Variables // Before (〜TS 4.6) type FirstString<T> = T extends [infer S, ...unknown[]] ? S extends string ? S : never : never; // After (TS 4.7) type FirstString<T> = T extends [infer S extends string, ...unknown[]] ? S : never; Announcing TypeScript 4.7 RC ͔ΒҾ༻
8. Instantiation Expressions δΣωϦΫεؔ਺ܕͷಛఆͷܕҾ਺ʹ͓͚ΔฦΓ஋ͷܕ ΛಘΔͷָ͕ʹͳͬͨ const func = <T,>(elm: T) => [elm]; // Before (〜TS 4.6) const _f = () => { return func<number>(0) }; type FuncRetForNumber = ReturnType<typeof _f>; // After（TS 4.7） type FuncRetForNumber = ReturnType<typeof func<number>>;
9. Optional Variance Annotations for Type Parameters ܕʹແཧ΍ΓมੑΛ෇༩͢Δͷ͕ैདྷΑΓָ͔ͭએݴత ʹͳͬͨ // 諸般の事情でTに対して共変にしたい // Before（〜TS 4.6） const _s = Symbol(); type Obj1<T> = { [_s]?: T; } // After（TS 4.7） type Obj2<out T> = {};
10. まとめ օ͞Μ΋ָ͍͠ܕϨϕϧϓϩάϥϛϯάϥΠϑΛʂ