型があると何が嬉しいか

2026-07-27 [初心者歓迎] #雑LT_study

Transcript

1. 型があると何が嬉しいか 2026-07-27 [初心者歓迎] #雑LT_study
2. 教科書的な答え 1. 高精度で素早いフィードバック – ユニットテストとの比較 • 型検査は理論的バックグラウンドがあり、信頼性が高い。 （関連ワード: 型システムの健全性） • 実際にプログラムを実行するよりは高速。（のはず） 2. 設計への寄与 – 型を前提とした設計 3. LSP等によるコーディング補助 2
3. 教科書的な答え 1. 高精度で素早いフィードバック – ユニットテストとの比較 • 型検査は理論的バックグラウンドがあり、信頼性が高い。 （関連ワード: 型システムの健全性） • 実際にプログラムを実行するよりは高速。（のはず） AI時代だぞ？ 2. 設計への寄与 – 型を前提とした設計 3. LSP等によるコーディング補助 3
4. 実際にやってみた 4
5. 今回の実験内容 • 9000行程度のTypeScriptプロジェクトを用意 （Claudeがスプレッドシート的なやつを作ってくれた） • 型を削除したJavaScript版を生成 • 両方でClaude Codeが同じタスクを行い、 コストを比較 （バグ修正、機能追加、リファクタリング） https://github.com/uhyo/types-experiments 5
6. 実験設定 • TS版では型アノテーションあり + LSPを装備 • JS版ではLSPなし • Claude Sonnet 5使用（Haiku 4.5の結果もあるけど省略） • リファクタリング1, 機能追加2, バグ修正5 6
7. 実験結果 タスク名 TSコスト JSコスト TS/JS比 Refactor-address-brand $1.75 $1.01 1.73 Feature-table-formulas $3.95 $3.12 1.26 Feature-xlookup $2.59 $2.61 0.99 Bug-datedif-anniversary $0.29 $0.32 0.91 Bug-migration-field $0.62 $0.56 1.11 Bug-sheet-rename-refs $0.84 $0.94 0.90 Bug-table-resize-watchers $0.70 $0.80 0.87 Bug-stale-recalc (anchor) $0.61 $0.69 0.89 7
8. 実験結果 • バグ調査タスクの多くで、コストが1割程度減。 • しかしTSがあると逆にコストが増えるケースも。 • 型の読み書きや型の整合性を合わせるコスト？ 8
9. おわり • まあ型はあったほうがいいんじゃない？ • もっと大規模なプロジェクトで実験してみたい • 気になることはAIで自分で実験してみよう 9