From: Toshiyuki Sasaki <tsasaki1@...>
Date: 2014-12-23T16:25:34+09:00
Subject: [ruby-dev:48774] Re: Rubyで静的型

佐々木です。

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

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