Type Challengesに新しい問題を追加して Type ChallengesのMaintainerになった話

TSKaigi 2025の登壇資料です。

Transcript

1. Kanon #TSKaigi 2025 Type Challengesに新しい問題を追加して Type ChallengesのMaintainerになった話 ysknsid25 ysknsid25.bsky.social
2. 2 Type Challengesとは
3. 3 TypeScriptの型パズル集 Type Challengesとは
4. 4 anyで定義された型を適切に定義する Type Challengesとは
5. このLTのゴール 5 帰ったらType Challenges解いてみよう と思ってもらうこと 初心者編
6. このLTのゴール 6 帰ったらType Challenges(他のOSSでも)に コントリビュートしてみよう と思ってもらうこと 中・上級者編
7. 7 Type Challengesをやる理由 初心者編
8. こういう悩みを持ってる人にやってみてほしい 8 • ドキュメントとか参考書を読み込んだのに、全然型システムを使いこなせて る気がしない 😭 • この辺のキーワードに馴染みがない ◦ Inferring Within Conditional Types ◦ Conditional Types ◦ Template Literal Types ◦ Indexed Access Types ◦ keyof Type Operator 初心者編
9. 9 TypeScriptのいい教材はたくさんある 初心者編
10. 10 公式ドキュメントも読む、読む、読む 初心者編
11. 11 よっしゃTSの型システムを使いこなすぞ !!!!!!!! てんぷれーとりてらる？こんでぃしょなるたいぷ？なんぼのもんじゃい 初心者編
12. 12 さーて いい感じに型を書き換えるOSSコントリビュートしていくか 初心者編
13. 13 …
14. 14 … …
15. 15 … … …
16. 16 ワイ「全然 書けねえじゃん」 ？？？「いや、申し訳ございません」 これの為だけにわざわざ十三行った
17. 17 わかる と できる は違う いろんなところで言われてる話だけど 初心者編
18. 18 Type Challengesってのがあるらしい やってみるか... 初心者編
19. 19 全問解いたれ • 結論: 全部解く必要はないと思う ◦ hardからは型システムで計算とかし始める ◦ 「すごいけど実戦でいつ使うんそれ」な問題が大半 ◦ mediumまでを3周くらいすれば実戦でも勝手に手が動くようになる ◦ その頃にはOSSライブラリの型定義とかも難なく「読める、読めるぞぉ」となる(と思う) • 「Type Challengesは全問解く意味はない」という意見が本当か確かめるためにも解いた ◦ 自分もそれを言うためには全部解く必要があると思ったから 初心者編
20. 20 全問解いたれ • 結論: 全部解く必要はないと思う ◦ hardからは型システムで計算とかし始める ◦ 「すごいけど実戦でいつ使うんそれ」な問題が大半 ◦ mediumまでを3周くらいすれば実戦でも勝手に手が動くようになる ◦ その頃にはOSSライブラリの型定義とかも難なく「読める、読めるぞぉ」となる(と思う) • 「Type Challengesは全問解く意味はない」という意見が本当か確かめるためにも解いた ◦ 自分もそれを言うためには全部解く必要があると思ったから 作者のAnthonyさん曰く 「mediumくらいまで解ければ普通にすごい」 って一昨日のスピーカーディナーで言ってた 初心者編
21. 21 全通 + mediumまでを2周して解説本を書いた 初心者編
22. 22 そんなある日 初心者編
23. 23 これ問題作れるんじゃね？ PR作成、っと… 初心者編
24. 24 🎉
25. 25 このへんで 量が質に転化 してきたこと を実感した 手がするする動いて他の OSSにもコントリビュートできるようになってきた 中・上級者編
26. 26 追加した問題 中・上級者編
27. 27 IsAlphabet 中・上級者編
28. 28 IsAlphabet type IsAlphabet<S extends string> = any type cases = [ Expect<Equal<IsAlphabet<'A'>, true>>, Expect<Equal<IsAlphabet<'z'>, true>>, Expect<Equal<IsAlphabet<'9'>, false>>, Expect<Equal<IsAlphabet<'!'>, false>>, Expect<Equal<IsAlphabet<'😂'>, false>>, Expect<Equal<IsAlphabet<''>, false>> ] あとで解きたい人はここから 中・上級者編
29. 29 解答例
30. 30 IsAlphabet 解答例 type IsAlphabet<S extends string> = Uppercase<S> extends Lowercase<S> ? false : true; 受け取ったSが大文字にしても小文字にしても同じものはAlphabetでない • “A” と “a” • “!”, “😂”, “9”
31. 31 後日談 中・上級者編
32. 32 Type ChallengesのMaintainerになった 🎉 中・上級者編
33. 33 Maintainerになった経緯 中・上級者編 • Type Challengesでレベルを上げたあとはUnJSにたくさんコントリビュートしてた • そこでAnthonyさんに何度かレビューしてもらう機会があった ◦ それこそ、ぶっ壊れてたlinterの設定修正とか • その後blueskyで相互フォローになりちょこちょこ話すことがあった • 一昨日のスピーカーディナーで ”はじめまして”して、Type Challegesの話題になった • 自分が書いたZenn Bookを見てもらったところ、「メンテナーやってみる？」とお誘いをいただく というジョブズもびっくりな ”Connect the dots”確変イベントが発生した 当初このLTは問題追加したところで終わりだった
34. 34 まとめ
35. 35 まとめ • いい教材(インプット材料 )を読んで、 Type Challengesのmediumまでを3 周くらいする と学習効果が高そう ◦ 型システム周りを手を止めずにコーディングできるようになってくる ◦ OSSのライブラリのコードも「読める、読めるぞぉ」になる ◦ 突然新しい問題を思いつくようになる • 量が質に転化する • Type Challengesに限らずOSSに貢献するといいことがある (かもしれない ) • 自分が会ってみたい人がいる場所があれば、是非会いに行こう
36. 36 食戟のソーマ 13巻 63~64p 出会うことだ 出会うことでしか 料理人は前に進めない たった一人で皿に向き合っても それまでと変わらぬ自分が映るだけ 才波 城一郎
37. 37 学び、繋がり、 ”型”を破ろう
38. Happy Hacking !! 水瀬いのり さんが推し の @ysknsid25 @ysknsid25.bsky.social Presented by Kanon でした