静的型ではコンパイルエラーになってしまうコードも
動的型では正しいコードでありうる（ゆえに表現能力が高い）ということが
分からないかぎり、議論は永遠に平行線だな