Slide 1
Slide 1 text
構造的型付けと集合論
~型推論の扉を開いたその先へ~
TypeScript
Slide 2
Slide 2 text
TSKaigi2025 おもしろかった発表
TypeScriptを活用して、デザインシステムをより堅牢に構築・運営
する手法を紹介
https://speakerdeck.com/takanorip/bulletproof-design-system-with-typescript
Slide 3
Slide 3 text
今日のテーマ
Slide 4
Slide 4 text
No content
Slide 5
Slide 5 text
01 構造的型付けと集合論のおさらい
02 プリミティブ型とオブジェクト型の交差型はneverではないの..？
Slide 6
Slide 6 text
01 構造的型付けと集合論のおさらい
02 プリミティブ型とオブジェクト型の交差型はneverではないの..？
Slide 7
Slide 7 text
No content
Slide 8
Slide 8 text
No content
Slide 9
Slide 9 text
No content
Slide 10
Slide 10 text
No content
Slide 11
Slide 11 text
01 構造的型付けと集合論のおさらい
02 プリミティブ型とオブジェクト型の交差型はneverではないの..？
Slide 12
Slide 12 text
プリミティブ型とオブジェクト型の交差型はneverではないの..？
プリミティブ型とオブジェクト型は交差してもneverにはならない...
Slide 13
Slide 13 text
プリミティブ型とオブジェクト型の交差型はneverではないの..？
Slide 14
Slide 14 text
プリミティブ型とオブジェクト型の交差型はneverではないの..？
TypeScriptの型システムは「絶対に存在しない」と言
えない場合は厳密にチェックはしない仕様
Slide 15
Slide 15 text
プリミティブ型とオブジェクト型の交差型はneverではないの..？
じゃあプリミティブ型とオブジェクト型の交差する値があるの？
Slide 16
Slide 16 text
プリミティブ型とオブジェクト型の交差型はneverではないの..？
じゃあプリミティブ型とオブジェクト型の交差する値があるの？
???
Slide 17
Slide 17 text
プリミティブ型とオブジェクト型の交差型はneverではないの..？
string型はlengthプロパティを持っている
Slide 18
Slide 18 text
プリミティブ型とオブジェクト型の交差型はneverではないの..？
string型はlengthプロパティを持っている
???
Slide 19
Slide 19 text
プリミティブ型とオブジェクト型の交差型はneverではないの..？
暗黙的にプリミティブからオブジェクトへ変換される
ボックス化 : プリミティブからオブジェクトへの変換
Slide 20
Slide 20 text
プリミティブ型とオブジェクト型の交差型はneverではないの..？
Slide 21
Slide 21 text
プリミティブ型とオブジェクト型の交差型はneverではないの..？
Slide 22
Slide 22 text
参考文献
TypeScript Deep Dive 日本語版
プロを目指す人のためのTypeScript入門
プログラミングTypeScript
サバイバルTypeScript
Slide 23
Slide 23 text
TypeScriptサイコー！
#AfterTSKaigi | #集合論サイコー | #TypeScriptサイコー で呟いてね！
Fin.