Slide 1
Slide 1 text
その複雑な型、いつ使うんですか？
OSSから学ぶ、高度な型定義の活用方法
Shimmy(@naoya7076) / 株式会社カミナシ
フロントエンドカンファレンス関西2025
Slide 2
Slide 2 text
話すこと
普段のプロダクト開発であまり使わないこれらの型が
OSSでどのように使われているのか
● extends
● Template Literal Types
● Infer
● Conditional Types
Slide 3
Slide 3 text
TanStack Router
Slide 4
Slide 4 text
No content
Slide 5
Slide 5 text
存在しない値は型エラー
Slide 6
Slide 6 text
No content
Slide 7
Slide 7 text
どうして
型推論されるの？
Slide 8
Slide 8 text
コードを追っていく
Slide 9
Slide 9 text
No content
Slide 10
Slide 10 text
/posts/$postIdから
$postIdを見つける
Slide 11
Slide 11 text
No content
Slide 12
Slide 12 text
No content
Slide 13
Slide 13 text
逃げてはいけない
Slide 14
Slide 14 text
extends +
Template Literal Types
Slide 15
Slide 15 text
No content
Slide 16
Slide 16 text
extends
Slide 17
Slide 17 text
No content
Slide 18
Slide 18 text
Template Literal Types
Slide 19
Slide 19 text
No content
Slide 20
Slide 20 text
No content
Slide 21
Slide 21 text
ParsePathParamsSymbol<'/posts/$postId'>
から postId を取り出す
Slide 22
Slide 22 text
No content
Slide 23
Slide 23 text
Conditional Types
+ Infer
Slide 24
Slide 24 text
No content
Slide 25
Slide 25 text
パス文字列からパラメータ名を取り出す
ことに成功
Slide 26
Slide 26 text
{‘postId’: string}
[K in ‘postId’]: T
Slide 27
Slide 27 text
No content