TypeScriptは「別に全部の型エラーを検出できなくてもよい（型安全じゃなくてよい）」という思い切った割り切り

これはTypeScriptは最終的にJavaScriptに変換され(実行上は)あってもなくてもいいツールだからできる割り切りなのかなと言う感じがします。 (他の言語にそのまま適用可能な話ではない気が…)