急に話を広げたねえ
現実のモデルはそう簡単ではない。その通りだ。静的型も動的型も、関数型言語もその問題に取り組み続けているだけの事だよ。

片方では足枷になる概念があり、もう片方ではその足枷が外れている代わりに別の足枷がある。

銀の弾丸なんてないってことよ