型を付けると安全性が低下するってのがおかしい
静的言語では型を付ける恩恵として安全になって速度も上がるのだが