動的型付けがおうんこすぎるだけで静的型付け+型推論の言語ならどれも変わらない気がする