型システム

静的（コンパイラが検査）か動的（実行時に検査）か、強いか弱いか（どれだけ厳格か）という軸がある。TypeScript は動的な JavaScript の上に任意で静的型を載せたもの、Rust は極めて厳格、Python は動的で型ヒントは任意である。柔軟さと安全性のトレードオフだ。