構造的型付けと集合論 After TSKaigi

Transcript

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