Swiftはコンパイル言語で、存在するコード≒存在するべきコードなので型システムも硬い方が良さそうで TypeScriptは存在するコード≠存在するべきコードだから、存在するが忌むべきコードを落とし込む型システムが必要(例えばanyだったり、awaitのないpromiseたったり)という感じですね。