だから静的も動的も型推論も使える言語が一番いいんだよ