オーバーロードのモチベーション
特に型を工夫しない場合 🤔
引数が string なら string、
number なら number を返すような関数
→ 実際に渡した引数の型から動的に推論さ
せることができず、常に `number | string`
Slide 11
Slide 11 text
Generics で対応してみる 💭
value を T と置いて、返り値型を分岐する
(改行の問題ももちろんあるけど、)
- 一定、実装が複雑になる。
- as T extends number ? number : string
のような as の使用が避けられない
オーバーロードのモチベーション