YAPC::Hakodate 2024
トーク (20分)
歴史から型システムの変遷と性質に向き合う
佐藤功樹
satokoki645
みなさんは型システムについてご存知でしょうか？
最近では、TypeScriptやPythonなどの静的解析や型推論システムがビルトインで容易に利用されるようになり、その採用が増えています。
その中で、動的型付け言語であるRuby on RailsやPHPは勢力を失いつつありますが、独自の型保護システムを採用することで時代の潮流に適応しようとしています。
そうした中で、これまでの言語はどのように時代の変化に対応してきたのでしょうか？
今回は「型システム」に焦点を絞り、その歴史を整理し、将来の技術的な不確実性にどう対処するかを考えたいと思います。