型システム とは？

値の種類を明示することで、間違った使い方をコンパイラが検出できるんだ。「文字列に数値を足す」みたいな操作を実行前に発見してくれる。実行してから初めてエラーが出るより、コードを書いている段階で気づけた方が修正がはるかに楽だよ。

型システムが核心の違いだよ。JavaScriptは動的型付けで実行時に型が決まる。TypeScriptは静的型付けで書いた時点で型チェックされる。TypeScriptはJavaScriptにコンパイルされるから、最終的に動くのはJavaScriptだけどね。

型を明示しなくてもコンパイラが自動で判断してくれる仕組み。「const x = 42」と書けば、xがnumberだとコンパイラが推論してくれる。明示的に「const x: number = 42」と書かなくていい。型推論が強い言語では、型アノテーションを最小限にしながら型安全を保てる。

違う軸の話で、よく混同される。「静的 vs 動的」はいつ型チェックするかの話（コンパイル時 vs 実行時）。「強い vs 弱い」は暗黙の型変換をどれだけ許すかの話。Pythonは動的型付けだけど強い型付け（1 + "1"はエラー）。JavaScriptは動的型付けで弱い型付け（1 + "1"は"11"になる）。この2軸を組み合わせて考える必要があるんだ。