型述語(type predicate)のすこし安全な使い方

TypeScriptの型述語(type predicate)を少し安全に使う方法です。
型述語(type predicate)というのは、A is Tと書く関数のことです。

下記リンク先の自記事の抜粋です。
https://zenn.dev/canalun/articles/safe_type_predicate

#めぐろLT

Transcript

1. おくぶかTypeScript！ 〜型述語のすこし安全な使いかた〜
2. 自己紹介 • canalun (@i_am_canalun_) • 2018.4~ マッキンゼーでコンサルタント • 2022.1~ テックタッチでエンジニア • フロントエンド(TS, React) • バックエンド(Go, DDD)
3. 趣味でやってること 楽しいことが多くて、いろいろやってみています
4. 話したいこと TypeScriptの 「型述語のすこし安全な使い方」 これを紹介したい！！
5. 型述語とは 受け取った変数の型を、 指定した通りに推論させる関数 (判定ロジックの成否をboolean で返す)
6. 例えばこう使う Dog型のような 複雑な型の判定を 毎回書くのはイヤ
7. 例えばこう使う 型述語として 切り出した すっきりして 再利用もできる！
8. 変数の型を 指定した通りに 絞り込ませる関数 でも危ない 間違った指定も すんなり受け入れる
9. 複雑な型だと怖い hone が home になっている しかしエラーは出ていない なので気づけない
10. こうするといい
11. こうするといい
12. こうするといい 要するに…… 絞りたい型とnull型の unionを作って、 そこに判定したものを 入れる！
13. 複雑な型でのまちがいも…… hone が home になっている しかしエラーは出ていない なので気づけない
14. きづける！！！！ 同じロジックでも この方法ならエラーが出る！
15. すこし安全な型述語で たのしくTSを書きたいですね！👶