静的型があれば全て解決するとは誰も言ってないが
動的より良いというだけだぞ