~/talk

Type System Game Engines

on YouTube 30m
Talkat TSConf 2020 · on Friday, 2020-10-09· [typescript]

speaker

name:Josh Goldberg
website:https://joshuakgoldberg.com

resources

video:https://youtu.be/7nj3vgZjL0Y
slides:none on file

summary

TypeScript types parse a newline move string into a list of moves, apply each move by constructing new board types and then compute the victor, all purely at compile time. The talk demonstrates concrete implementations using conditional types, keyof and mapped types, type recursion and string template literal types, shows how parsing and number conversion happen with infer, and reports a working Tic Tac Toe type that requires modern TypeScript like 4.1 to succeed.

AI-written summary · about

chapters (26)

  1. 0:00Intro
  2. 0:22Agenda
  3. 0:50The End Product
  4. 1:19The Upside Down
  5. 1:40TypeScript to JavaScript
  6. 2:13TypeScript to Type System
  7. 3:19Conditional Return Types
  8. 4:20Checking our Types
  9. 5:50Let's Play a Game
  10. 6:05How Would You Type This?
  11. 6:49Type Members
  12. 8:22Tuple Types
  13. 8:44Victory Conditions
  14. 9:13Victory Checking
  15. 10:13Automated Checking
  16. 13:11A Different Board Descriptor
  17. 14:06Board Transitions?
  18. 14:33Mapped Conditional Types
  19. 15:50Leveling Up
  20. 17:40Dynamic Action List Types?
  21. 17:51Thinking Functionally
  22. 20:37Type Recursion!
  23. 22:49Our Last Challenge
  24. 23:42Our String Parsing Challenge
  25. 24:21Level Three: Splitting
  26. 25:27Level Four: Filtering

related talks

~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.