インタフェースと実装クラス

k.inabaさん経由でhiuchidaさんのエントリへ。実装クラスは背後に隠したままで、表ではインタフェースを直接newしたいよね、という話。hiuchidaさんの「つまりランタイム（VM）にDIコンテナが空気のように内臓内蔵されているのなら」というのもうまい表現。
で、思うんですが、たとえばSmalltalkやRubyのような変数に型のない言語と、Javaのような強い型つきの言語との「中間」に何かよいものはないんでしょうかね。
はっ、C言語か？！
（ごめんなさい、眠いので文章変です。頭の中ではまだやわらか戦車の歌が響いているし…）