Upgrade to Pro — share decks privately, control downloads, hide ads and more …

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

Sponsored · Your Podcast. Everywhere. Effortlessly. Share. Educate. Inspire. Entertain. You do you. We'll handle the rest. →
Avatar for らーゆ らーゆ
June 06, 2025
570
0

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

Avatar for らーゆ

らーゆ

June 06, 2025

Featured

See All Featured
Visual Storytelling: How to be a Superhuman Communicator
Avatar for David Neal reverentgeek
2
500
The Hidden Cost of Media on the Web [PixelPalooza 2025]
Avatar for Tammy Everts tammyeverts
2
260
Information Architects: The Missing Link in Design Systems
Avatar for Michelle Chin soysaucechin
0
880
The Pragmatic Product Professional
Avatar for Laura Van Doore lauravandoore
37
7.2k
Collaborative Software Design: How to facilitate domain modelling decisions
Avatar for Kenny Baas-Schwegler baasie
0
190
Skip the Path - Find Your Career Trail
Avatar for Mark Kilby mkilby
1
100
For a Future-Friendly Web
Avatar for Brad Frost brad_frost
183
10k
Marketing Yourself as an Engineer | Alaka | Gurzu
Avatar for Gurzu gurzu
0
180
Why Mistakes Are the Best Teachers: Turning Failure into a Pathway for Growth
Avatar for Umar Saidu Auna auna
0
120
Ten Tips & Tricks for a 🌱 transition
Avatar for Manu Carrasco Molina stuffmc
0
98
Believing is Seeing
Avatar for Spiro Bolos oripsolob
1
110
Optimizing for Happiness
Avatar for Tom Preston-Werner mojombo
378
71k

Transcript

  1. 構造的型付けと集合論 ~型推論の扉を開いたその先へ~ TypeScript

  2. TSKaigi2025 おもしろかった発表 TypeScriptを活用して、デザインシステムをより堅牢に構築・運営 する手法を紹介 https://speakerdeck.com/takanorip/bulletproof-design-system-with-typescript

  3. 今日のテーマ

  4. None

  5. 01 構造的型付けと集合論のおさらい 02 プリミティブ型とオブジェクト型の交差型はneverではないの..？

  6. 01 構造的型付けと集合論のおさらい 02 プリミティブ型とオブジェクト型の交差型はneverではないの..？

  7. None
  8. None
  9. None
  10. None

  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.