ポケモンの型をTypeScriptの型システムで表現してみた

TSKaigi Night talks 〜after conference〜 のLT資料です
https://findy.connpass.com/event/392420/

Transcript

15. ➔ ➔ ➔
16. species: regulations: - champions-m-a nature: up: down: ability: item: X moves: - - - - --- party: regulation: champions-m-a members: - ../individuals/garchomp.yaml - ../individuals/dragonite.yaml # … ---
17. pnpm check:party dragon-standard.md : pnpm analyze:coverage dragon-standard.md : 5 / 0 : 4 / 1 : 4 / 0
18. species: regulations: - champions-m-a moves: - - - - # pnpm check:individual charizard-invalid.yaml charizard-invalid.yaml:9: MoveNotLearnedBy: Type 'string' is not assignable to type 'MoveNotLearnedBy< "champions-m-a", "charizard", "surf" >'.
19. codegen tsc --noEmit OK NG YAML TypeScript tsc --noEmit
20. species: regulations: - champions-m-a moves: - - - - // @source charizard.yaml:4 const charizard_moves_champions_m_a: ValidMoves< "champions-m-a", "charizard", readonly [ "flare-blitz", "dragon-claw", "earthquake", "roost" ] > = [ "flare-blitz", "dragon-claw", "earthquake", "roost" ]; ValidMoves charizard_moves_champions_m_a
21. species: regulations: - champions-m-a moves: - - - - # // @source charizard-invalid.yaml:4 const charizard_moves_champions_m_a: ValidMoves< "champions-m-a", "charizard", readonly [ "flare-blitz", "dragon-claw", "earthquake", "surf" ] > = [ "flare-blitz", "dragon-claw", "earthquake", "surf" ];
22. species: regulations: - champions-m-a moves: - - - - # // @source charizard-invalid.yaml:4 const charizard_moves_champions_m_a: ValidMoves< "champions-m-a", "charizard", readonly [ "flare-blitz", "dragon-claw", "earthquake", "surf" ] > = [ "flare-blitz", "dragon-claw", "earthquake", "surf" ]; roost surf
23. species: regulations: - champions-m-a moves: - - - - # roost surf
24. export type ValidMoves< R extends RegulationId, // S extends SpeciesIdIn<R>, // Ms extends readonly string[], // > = { readonly [I in keyof Ms]: ValidMove<R, S, Ms[I] & string>; }; Ms
25. export type ValidMove< R extends RegulationId, // S extends SpeciesIdIn<R>, // M extends string, // > = M extends SpeciesEntryOf< R, S >["moves"][number] ? M : MoveNotLearnedBy<R, S, M>; SpeciesEntryOf<"champions-m-a", "charizard"> { readonly id: "charizard"; readonly moves: readonly [ "flare-blitz", "dragon-claw", "roost", "earthquake", "swords-dance", ... ] // M-A ... }
26. export type ValidMove< R extends RegulationId, // S extends SpeciesIdIn<R>, // M extends string, // > = M extends SpeciesEntryOf< R, S >["moves"][number] ? M : MoveNotLearnedBy<R, S, M>; M [ "flare-blitz", "dragon-claw", "earthquake", "surf" ] → [ "flare-blitz", "dragon-claw", "earthquake", MoveNotLearnedBy ]
27. charizard_moves_champions_m_a [string, ..., MoveNotLearnedBy] [string, ..., string]