聞きながらの自分用メモなのでちょっと正確でない点がありそうですが。 Ruby3 presented by matz Typingの話 SmallTalk→Java→Ruby,JavaScript→Swift,Go→? 近視眼的な判断で静的型付けを選択するのは危険 そもそも未来の型とは? Duck typing: アヒルが歩くように。アヒルのように振る舞えばOK Duckとは期待される振る舞い プログラマのメンタルコストを下げたい GoのStructual SubtypingはNominal Subtypingより良さ気 Rubyには歴史的にこれまで型指定がない 動的型付けの欠点もある エラーメッセージが親切じゃない 型は絶対に書きたくない(会場笑) DRYじゃないし Type Annotation,Mixed/Gradual Typingはダメなアイディア 人にお願いするんじゃなくて技術で