"良い"TypeScriptを書くためのマインドセット

Transcript

1. “良い” TypeScriptを TS Kaigi 2025 マインドセット 書くための
2. Keisuke Yamashita SNS accounts Frontend Developer at Wix X: ＠kei_english_ca Youtube: ＠kei_NA Background • 高卒フリーターで カナダへ渡航 • 現地でエンジニアのキ ャリアをスタート • カナダ、アメリカで 3社を経て現在はWix にてフロントエンドの エンジニア • TS歴は6年ほど
3. The Type System The Mindset 03 The Soundness 02
4. Question: 何が表示される でしょう？ 1. “TS Kaigi” 2. “JS Kaigi” 3. Error: Cannot assign to 'name' because it is a read-only property.
5. Question: 何が表示される でしょう？ 1. “TS Kaigi” 2. “JS Kaigi” 3. Error: Cannot assign to 'name' because it is a read-only property.
6. “TypeScript’s type system is structurally typed: meaning any value that happens to satisfy a type is allowed to be used as a value of that type. “ ”TypeScriptの型システムは 構造的型付けです。 つまり、ある値がその型の 構造を満たしていれば、そ の型の値として使用するこ とが許されます。” Josh Goldberg
10. WHY?
11. 大元の言語が JavaScript だから
12. 静的 (static) 動的 (dynamic) Java JavaScript 実行時に型が決定される 実行前に型が決定される
13. 静的 (static) 動的 (dynamic) Java JavaScript 実行時に型が決定される 実行前に型が決定される Type Script
16. 動的言語であるJavaScriptとの親和性 を高めるために、構造的型システムを 採用している
17. これ、JavaScriptで表現するの 難しすぎる
18. TypeScriptとは; 構造的型システムを採用した、 半静的言語
19. “TypeScript is structurally typed by design. It’s what makes it useful in the wild west of JavaScript.” “TypeScript が構造的型システムを採用 しているのは、意図的な設計です。 それこそが、JavaScript という “西部開拓時代”のような自由すぎる世界 で、実用的に使える理由なのです。” Anders Hejlsberg
20. The Soundness The Mindset 03
21. 【Sound】/saʊnd/ •音 •音楽 •パーソナルコンピュータにおいて スピーカから音を出力するためのデータ （サウンドファイル）およびその音
22. 【Sound】/saʊnd/ •音 •音楽 •パーソナルコンピュータにおいて スピーカから音を出力するためのデータ （サウンドファイル）およびその音 •健全なさま •健全性 (soundness) - 数理論理学の用語
23. 論証の中の健全性 全ての人間は死ぬ。 ソクラテスは人間である。 従って、ソクラテスは死ぬ。
24. コードの中の健全性 実行前のコード(型)が 実行中にも同じ状態であるという様。 “実行時とコンパイル前は同じ型である”
25. 実行時とコンパイル前は同じ型である。
26. 実行時とコンパイル前は同じ型である。 tsKaigiはstringとして宣言された。 従って、tsKaigiはstringである。
27. 実行時とコンパイル前は同じ型である。 jsKaigiはstringとして宣言された。 従って、jsKaigiはstringである。
28. 実行時とコンパイル前は同じ型である。 jsKaigiはstringとして宣言された。 従って、jsKaigiはstringである。
29. 【Usability】/jùːzəbíləṭi/ •実用性 •使い勝手 •「つかえる」「有用である」という特性
30. コードの中の実用性 Soundnessと引き換えに コードの実行自体を優先している様。
31. Usability(実用性)を優先 Soundness(健全性)を優先
32. 構造的型システムが意味すること TypeScriptはSoundnessに対して コントロールを持つことができる言語
33. The Mindset
34. ”良い”TypeScriptを 書くためのマインドセット
35. ”良い”TypeScriptを 書くためのマインドセット SoundnessとUsabilityの トレードオフを”意識的”に行うこと
36. Usability(実用性)を優先 Soundness(健全性)を優先
37. Usability(実用性)を優先 Soundness(健全性)を優先 • サーバー側でスキーマ and/or テストが担保されている • チームメンバーはサーバー側のコ ードにすぐアクセスできる • このプロジェクトはPoC • プロダクト自体がインターナル向 け • …etc.
38. Usability(実用性)を優先 • BackendとFrontendがしっかり 分かれている • APIがサードパーティー制 • 会社(チーム)の規模が大きく、誰 がコードを触るかわからない • プロダクトが大きく、どこから 依存されているか追うのが不可能 • …etc. Soundness(健全性)を優先
39. ”良い”TypeScriptを 書くためのマインドセット ソフトウェア開発において トレードオフはどの段階でも起こる
40. ありがとうございました。