今後のプログラミング言語の型について

最近、Web界隈で使われているいろいろなプログラミング言語を見ていて、段々と「型」の話が増えているな、と感じています。 ほんの一例ですが、 TypeScriptの台頭 Rustの台頭 GoのGenericsサポート RubyのRBS など、型のある言語や、既存言語に型を付ける、等の動きが活発です。 そこで、...