抽象データ型は、それを構成している型の関係に矛盾がないかコンパイル時に静的に調べられる、
というのがたぶん530の言いたい「堅牢化」であって、実現によって効率に差があることとは別の話だろう。

で、その点で>>530は「堅牢化」の利点がない。