佐々木です。

> まつもと ゆきひろです
>
> 動的言語で静的型チェックをするアイディアとしてはSoft Typingと
> かGradual Typingとかいうような技術について研究が行われている
> ようです。今回の佐々木さんのアイディアはSoft Typingに近いかな
> あ。最近、RubyでもPythonでもこのような開発について注目してい
> る人は(私を含めて)多いようなので、是非構想を深めていただけれ
> ばと思います。

やはり私ひとりのアイデアではなかったのですね。
この程度のアイデアなら100人は持っていそうとは思っていましたが。
こういった機構が成熟して、Ruby等の動的言語でも取り入れられる
ことを願っています。