型の甘い言語って、JavaやC++もどっちもそんなに型に厳しいわけじゃないだろ。
どちらも暗黙のキャストするし、コンパイラが賢い型推論もってるわけでもない。
型による自動的なデバッグが好きならHaskellでもなんでも使って、アルゴリズムとかの
本質的なバグを注入してるといいよ。