型があると何が嬉しいか

型があると何が嬉しいか 2026-07-27 [初心者歓迎] #雑LT_study

教科書的な答え 1. 高精度で素早いフィードバック – ユニットテストとの比較 • 型検査は理論的バックグラウンドがあり、信頼性が高い。（関連ワード: 型システムの健全性） •
実際にプログラムを実行するよりは高速。（のはず） 2. 設計への寄与 – 型を前提とした設計 3. LSP等によるコーディング補助 2

教科書的な答え 1. 高精度で素早いフィードバック – ユニットテストとの比較 • 型検査は理論的バックグラウンドがあり、信頼性が高い。（関連ワード: 型システムの健全性） •
実際にプログラムを実行するよりは高速。（のはず） AI時代だぞ？ 2. 設計への寄与 – 型を前提とした設計 3. LSP等によるコーディング補助 3

実際にやってみた 4

今回の実験内容 • 9000行程度のTypeScriptプロジェクトを用意（Claudeがスプレッドシート的なやつを作ってくれた） • 型を削除したJavaScript版を生成 • 両方でClaude Codeが同じタスクを行い、コストを比較
（バグ修正、機能追加、リファクタリング） https://github.com/uhyo/types-experiments 5

実験設定 • TS版では型アノテーションあり + LSPを装備 • JS版ではLSPなし • Claude Sonnet
5使用（Haiku 4.5の結果もあるけど省略） • リファクタリング1, 機能追加2, バグ修正5 6

実験結果タスク名 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

実験結果 • バグ調査タスクの多くで、コストが1割程度減。 • しかしTSがあると逆にコストが増えるケースも。 • 型の読み書きや型の整合性を合わせるコスト？ 8

おわり • まあ型はあったほうがいいんじゃない？ • もっと大規模なプロジェクトで実験してみたい • 気になることはAIで自分で実験してみよう 9

型があると何が嬉しいか

型があると何が嬉しいか

uhyo

More Decks by uhyo

Other Decks in Technology

Featured

Transcript