TypeScriptの型表現

TypeScriptの型表現  FukuokaJS #8『TypeScript』 / May 15th, 2019 ponday (@ponday_dev) 

Profile  - ponday (Honda, Yusuke)  - 株式会社ベガコーポレーション  - 最近の仕事はUIデザイン（自分でもびっくり）  -
副業もやってます 

TypeScript　＝　JavaScript　＋　型 

型が書けるだけ？ 

TypeScriptの型  - JavaScriptは動的型付け  - 静的型付けの仕組みだけだと表現力不足  - 条件によって型が変動するなど  - TypeScriptの表現力が追いつかないとき＝
any  - 最近なら unknown型を使ったほうが良い 

型よくわかんないからとりあえずany で！ 

(屮ﾟДﾟ)屮 ⌒┻━┻ 

any 型  - あらゆる型と互換性がある特殊な型  - どんな型からでも変換できる  - どんな型にも変換できる  - 正しく動作するかは気にしない 
- TypeScriptの型システムを無視してしまう 

any 型の問題点  - 型検査ができない  - 意図しない型が代入されても検知できない  - 存在しないプロパティにアクセスしても検知できない  - 型検査で予防できるはずのエラーが実行時エラーに 
- 補完が効かない  - 型推論ができないことによる副作用 

anyを使う　≒　TypeScriptの恩恵を捨てる 

基本的に anyは使わないほうが良い 

とはいえ 

TypeScriptの表現力が足りないときは any だった 

型の表現力を高める仕組みが追加 

Static types for dynamically named properties  - バージョン2.1で追加  - keyof
キーワードと T[K] という記法からなる  - keyof Tは型Tのプロパティを列挙する  - T[K]は型TのプロパティKの型を示す 

この関数の型は？ 

こう書ける 

Mapped Types  - バージョン2.1で追加  - ある型が持つプロパティを走査して新しい型を作る  - keyofやT[K]などと組み合わせて使うことが多い 

Conditional Types  - バージョン2.8で追加  - 型を条件分岐で変化させる  - 三項演算子の記法と同じ 

これらを組み合わせると定義できる型の幅はすごく広がる 

ただ 

わかりづらくない？ 

TypeScriptの組み込み型関数  - 汎用的なイディオムをまとめた型関数  - 内部でConditional Typesなどを活用  - よく使うものはわりと揃っている印象  - これを使うだけでもある程度表現力が広がる 

Partial<T>  型TのプロパティをNullableにする 

Required<T>  型TのプロパティをNonNullableにする（Partialの逆） 

Readonly<T>  型Tのプロパティに readonly を付与する 

Pick<T, K extends keyof T>  型TからプロパティKを抜き出す 

Exclude<T, U>  型Uに代入可能な型Tを除去する 

Extract<T, U>  型Uに代入可能な型Tのみを取り出す（Excludeの逆） 

Parameters<T extends (...args: any[]) => any>  関数の引数の型を返す 

ReturnType<T extends (...args: any[]) => any>  関数の戻り値の型を返す 

他にもいろいろ  - NonNullable<T>  - ConstructorParameters<T extends new (...args: any[]) =>
any>  - InstanceType<T extends new (...args:any[]) => any>  - ThisType<T>  - Record<K extends keyof any, T> 

まとめ  - anyはTypeScriptの型システムを無視してしまう  - 基本的にanyは使わないほうが良い  - TypeScriptの表現力もかなり向上している  - anyに頼らざるを得ない場面も減ってきた  -
anyを使うより先にunknownを検討すべき  - 組み込み型だけでも表現できる幅は結構広がる 

TypeScriptの型表現

TypeScriptの型表現

More Decks by ponday

Other Decks in Programming

Featured

Transcript