型システムに頼るような奴が優れたプログラム書けるわけなかろう