型 再考

関数型界隈が「なごやこわい」と言われたのも今や昔、世間ではTypeScriptが大手を振って席巻し、Rubyでも静的型検査を巡る議論が盛んになっています。
世はまさに、大「型システム」時代！ (ほんとか？)

ところで「型って何？」と聞かれて明確に答えられるでしょうか？
あるいは「なんでRubyと別にRBSという型記述専用の言語があるの？」と疑問に思ったことはないでしょうか？

このセッションでは今一度「型とは何か」を定義から確認します。
そのうえで、Ruby 3 で掲げられた「静的型解析」がなぜ必要だったのか、それが現在の型にまつわる技術にどう繋がってきたのかを振り返っていきます。

一緒にRubyの型の歴史を再考してみましょう。