Soft Typingに対するMatzの誤解とDuck TypingとStructural Subtyping

まつもとゆきひろさん(Matzさん）がRubyKaigi2016の基調講演で説明した、Ruby 3のSoft Typingにまつわる誤解や構造的部分型に関する話です。

[mukaken]

なるほど！“schemeでいう「soft typing」とはかなり異なる”

[ledsun]

「新言語や他の言語でできている」（それがmatzのイメージしている何かと一致しているかは知らない）と「rubyに追加できる」は、実装の難易度に大きな差があるっぽい

[matarillo]

構造的部分型＋型推論だけじゃ、これはむり > https://play.crystal-lang.org/#/r/190v responds_to? を使ってればこうなるらしい https://play.crystal-lang.org/#/r/191e

[sifue]

なるほど。

[baronhorse]

Matz もメッキがはげ始めたか。過剰に持ち上げられると後がしんどいね。