型が厳格なのは静的型付けならぜんぶそうかも