[#48770] Re: Rubyで静的型 — "Toshiyuki Sasaki" <tsasaki1@...>
> この場合、この例では簡単かもしれませんが、たとえばvarが別のメソッド
10 messages
2014/12/23
[#48771] Re: Rubyで静的型
— Hideki Miura <m-72@...6.so-net.ne.jp>
2014/12/23
三浦です
[ruby-dev:48774] Re: Rubyで静的型
From:
"Toshiyuki Sasaki" <tsasaki1@...>
Date:
2014-12-23 07:25:34 UTC
List:
ruby-dev #48774
佐々木です。 > まつもと ゆきひろです > > 動的言語で静的型チェックをするアイディアとしてはSoft Typingと > かGradual Typingとかいうような技術について研究が行われている > ようです。今回の佐々木さんのアイディアはSoft Typingに近いかな > あ。最近、RubyでもPythonでもこのような開発について注目してい > る人は(私を含めて)多いようなので、是非構想を深めていただけれ > ばと思います。 やはり私ひとりのアイデアではなかったのですね。 この程度のアイデアなら100人は持っていそうとは思っていましたが。 こういった機構が成熟して、Ruby等の動的言語でも取り入れられる ことを願っています。