Python と Ruby と typing - methaneのブログ

うーん、structural subtypingとダックタイピングは同じものなんだろうか。— Yukihiro Matsumoto (@yukihiro_matz) 2016年9月8日 https://t.co/5Rv86piThC wikipediaによると似て非なる物のようですね。 https://t.co/VwIg39h5M0— INADA Naoki (@methane) 2016年9月8日 この話題について補足しておきます。なお、僕はTAPL脱落組なのであまり正確性は期待しないでください。 背景 Ruby Kaigi で Matz が Ruby3 に向けて考え中の静的型について話されたようです。 少し前から、 Python でも Guido が Dropbox での大量のコードベースを改善していくために type hinting がほしいということで PEP 484 を始めました

[camlspotter]

「結局静的型付け言語と同じくらいコードが増えそう」どの言語と比較しているつもりなのかしらん。

[rryu]

TypeScriptもGradual Typingだけど型を付けたい所にだけ付ければいいので結構楽。えもいわれぬJSONなんかがあると特に。

[kitokitoki]

Structural Subtyping

[bopperjp]

型付けのパターン

[hyone]

gradual typing について。 python の type hinting ってそういう仕組みになってたんた。

[gam-22]

Structural Subtypingはこういうものだったのですね

[daruyanagi]

最後のヤツ、TypeScript みたいなもんやろか

[ryota-murakami]

かたるびー

[kabisuke]

typescript一度触ると動的言語がクッソ不自由に感じるんだよな…Rubyは好きだけどさ、typescript以上にできるんやろか？

[kamatama_41]

なるほど

[taketyan]

名前重要な Ruby には是非 Structural Subtyping 採用してほしい。if o.respond_to? :each ぐらいならいいけど、複数のメソッドが必要だったりするとやはりそこに名前が付いていて欲しい

[wh11e7rue]

構造的部分型すごく良さそうに見える。Goやるか。

[lanius]

nominal subtyping, structural subtyping, gradual typing.

[raimon49]

名前の宣言によって定義する静的型付けのominal subtyping と、実装を見てサブタイプと判断されるstructural subtyping　とても勉強になる。

[vvakame]

Rubyどうなるんやろなぁ

[oinume]

JavaのNominal SubtypingとGoのようなStructural Subtypingの違い、良さがわかりやすかった

[kodam]

とても分かりやすい記事だった [subtyping][programming]

[devorgachem]

神資料だった 🙏 ありがとうございます…