Unknownのことをちゃんと知りたい_関西フロントエンド忘年会2024@HACK.BAR × KINTOテクノロジーズ

Transcript

1. Unknownのことをちゃんと 知りたい 関西フロントエンド忘年会2024@HACK.BAR × KINTOテクノロジーズ_2024/12/06
2. いずりょー #EngineeringManager #TypeScriptが好き #JavaScriptは嫌い #最近は生成 AIと戯れている #kansai.ts Organizer X → @is_ryo Bluesky → is-ryo
3. 今日は Unknownのことちゃんと 理解して使ってる？ という話をします
4. 質問 unknown型を 意識して使っている人 󰢧
5. 終 制作・著作 ━━━━━ いずりょー
6. 結論 ちゃんとUnknownのことを理 解できたら anyはいらない (多分…きっと…知らんけど )
7. サバイバル TypeScriptによると • TypeScriptのunknown型は、型が何かわからないときに使う型です • unknown型にはどのような値も代入できます • unknown型はよく「型安全なany型」と言われ、any型と対比されます • any型はどのような型の変数にも代入できますが、unknown型の値は具 体的な型へ代入できません • などと書いてある
8. unknown型にはどのような値も代入できる
9. unknown型は「型安全な any型」
10. unknown型とany型の違い • unknown型もany型もどのような値も代入できる • unknown型はunknown型にしか再代入できない • any型に代入したオブジェクトのプロパティ、メソッドは使用することができ るが、unknown型は使用できないし実行もできない ◦ 意図しない実行時エラーを検知することができる
11. ざっくり言うと unknown型は安全に型を ぶっ飛ばして any型はTSを捨てる という感じ
12. any型を使っていいのは TSを捨てる覚悟のあるやつだけだ …
13. unknown型の使い方 • any型の値をより安全にする • 型アサーションの制約を回避する • TypeGuardを利用して正しい型をつける
16. まとめ • とりあえず「型が何かわからない 」という時に any型 を使うのではなくて unkonwn型 を使うことで堅牢なコードに1歩近づく • その結果コード量は増えるケースが多いとは思うので、そこはいい塩梅を 探す必要がある • (個人的には) 多少コード量が多くなっても any型 がない世界を目指した い ◦ コードレビューで any型 を排除する活動をし始めている
17. 結論 ちゃんとUnknownのことを理 解できたら anyはいらない (多分…きっと…知らんけど )
18. Thanks!!!