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

Yusuke Endoh @mametter

@esumii おお、ありがとうございます。読んでみますガリグ

Atsushi Igarashi @50storms

@mametter @esumii ええと、structural polymorphim とごっちゃになってません？structural subtyping なら、TAPLのsubtypingのところ読めば、という気がするのですが、何か見逃してます？

S (ﾂｲｰﾄはｽﾚｯﾄﾞ全体をご確認ください) @esumii

@50storms @mametter OCamlのオブジェクトみたいな、duck typingっぽい型推論がしたい、という文脈と理解してます

Kota Mizushima (on a diet) @kmizu

ところで、昨日は流れでOCamlを持ち出したけど、実際のところ、Rubyのduck typingをもっともうまく静的型付けられているという点ではCrystalが一番だということは伝えておきたい。e.g. gist.github.com/kmizu/a3834394…

Kota Mizushima (on a diet) @kmizu

ところで、Rubyに、提案されているような型を入れるならOCamlっぽいのが最も近いだろう、というような趣旨の事を書きはしましたが、型なんか知るか、Rubyには型など不要、というのも（仮にそうであれば）一つのポリシーだと思っています。