20分セッション
11:05 - 11:25 / kickflowトラック
never 型はすべての型のサブタイプとなるボトム型で、TypeScript には欠かせない重要な型の一つです。しかし、never を明示的に型注釈で書く機会は少ないこともあり、あまり深く性質について考える機会もないのではないでしょうか？
本発表では、never を空集合として捉え直すところを出発点とします。その視点から、Union、Intersection での挙動、Conditional Type の分配、標準ユーティリティ型の実装原理など基礎部分について説明します。その上で、網羅性チェック、Phantom Types による状態遷移の型強制、型レベル関数のシグネチャ制御など、never の活用ケースを例で示しながら体系的に紹介します。
たつかわ
株式会社ニーリー / テックリード
大学院卒業後、受託開発を主とする会社でWebアプリケーションエンジニアとしてキャリアをスタート。2社目の音声認識サービスを提供する会社にて、Webアプリケーションエンジニア、ネイティブアプリケーションエンジニア、サーバー開発エンジニアとして経験を積む。その後コンサル仲介サービスを提供する会社にて一定期間エンジニアとして従事した後、チームリーダーとしてマネジメント業務を担当。 2024年12月よりニーリーに入社。現在は、既存の技術的負債の解消、開発コストの削減、エンジニアの開発体験の向上をミッションとして開発・改善業務に取り組んでいる。
