お前はまだRubyの 型システムを知らない

Transcript

1. お前はまだRubyの 型システムを知らない すぎうり
2. 自己紹介　すぎうり • Twitter:@uproad3 • Ruby歴20年 • VRChat歴7年 • 仕事：Rails | AWS | LT芸人 • 趣味：アーキテクト | リファクタリング | ゲーム制作 | 電子工作 • 言語：Ruby | C# | C | JS | ほかいろいろ • 技術：Terraform | Unity | Ubuntu | MySQL | RaspberryPi • 悲しきフルスタックエンジニア • 最近はClaudeをシバきまわしている • RubyKaja 2026特別賞受賞 • LTをしてくる人賞受賞 • 特に型に強い思い入れがあるわけではない
3. 自己紹介　すぎうり
4. 自己紹介　すぎうり • Twitter:@uproad3 • Ruby歴20年 • VRChat歴7年 • 仕事：Rails | AWS | LT芸人 • 趣味：アーキテクト | リファクタリング | ゲーム制作 | 電子工作 • 言語：Ruby | C# | C | JS | ほかいろいろ • 技術：Terraform | Unity | Ubuntu | MySQL | RaspberryPi • 悲しきフルスタックエンジニア • 最近はClaudeをシバきまわしている • RubyKaja 2026特別賞受賞 • LTをしてくる人賞受賞 • 特に型に強い思い入れがあるわけではない
5. 自己紹介　すぎうり
6. 自己紹介　すぎうり • Twitter:@uproad3 • Ruby歴20年 • VRChat歴7年 • 仕事：Rails | AWS | LT芸人 • 趣味：アーキテクト | リファクタリング | ゲーム制作 | 電子工作 • 言語：Ruby | C# | C | JS | ほかいろいろ • 技術：Terraform | Unity | Ubuntu | MySQL | RaspberryPi • 悲しきフルスタックエンジニア • 最近はClaudeをシバきまわしている • RubyKaja 2026特別賞受賞 • LTをしてくる人賞受賞 • 特に型に強い思い入れがあるわけではない
7. Rubyの特徴 • 書いていて楽しい • スクリプト言語 • 純粋オブジェクト指向 • 書いていて楽しい • 動的型付け • ダックタイピング • 書いていて楽しい • 暗黙的型変換の禁止 • Mix-in • 実行時クラス再オープン • 書いていて楽しい
8. Rubyの特徴 • 書いていて楽しい • スクリプト言語 • 純粋オブジェクト指向 • 書いていて楽しい • 動的型付け • ダックタイピング • 書いていて楽しい • 暗黙的型変換の禁止 • Mix-in • 実行時クラス再オープン • 書いていて楽しい
9. Rubyの特徴 • 書いていて楽しい • スクリプト言語 • 純粋オブジェクト指向 • 書いていて楽しい • 動的型付け • ダックタイピング • 書いていて楽しい • 暗黙的型変換の禁止 • Mix-in • 実行時クラス再オープン • 書いていて楽しい
10. 「Rubyには型がない」
11. 「Rubyには型注釈がない」
12. Rubyの型システム 　　　　　型検査：動的 　　　　　型強度：強い　　※暗黙的型変換をしない 　　　　　型互換：構造的　※ == ダックタイピング的 ⇔ 宣言的 / 継承的 　　　　　型変性：あり　　※オープンクラスやメソッド再定義など ポリモーフィック：あり　　※ダックタイピングによって解決 　　実行時型表現：あり　　※ Class#nameなど 　　　　　型注釈：なし 　　　　　型推論：なし　　※外部システムにより提供 　　　　
13. Rubyの型システム 　　　　　型検査：動的 　　　　　型強度：強い　　※暗黙的型変換をしない 　　　　　型互換：構造的　※ == ダックタイピング的 ⇔ 宣言的 / 継承的 　　　　　型変性：あり　　※オープンクラスやメソッド再定義など ポリモーフィック：あり　　※ダックタイピングによって解決 　　実行時型表現：あり　　※ Class#nameなど 　　　　　型注釈：なし 　　　　　型推論：なし　　※外部システムにより提供 　　　　
14. 型注釈/型推論 Rubykaigi2019 day1 Matz基調講演 型宣言(型注釈)を入れることについて 「(DRYではないから)Rubyに型(宣言)を取り入れたくない」 「型宣言することはコンピュータに使われているような気になる」 型推論について 「その代わり静的解析を導入し型チェックを行えるようにする」 →RBS / Solbet / Typeprof / Steep
15. Rubyの型システム 　　　　　型検査：動的 　　　　　型強度：強い　　※暗黙的型変換をしない 　　　　　型互換：構造的　※ == ダックタイピング的 ⇔ 宣言的 / 継承的 　　　　　型変性：あり　　※オープンクラスやメソッド再定義など ポリモーフィック：あり　　※ダックタイピングによって解決 　　実行時型表現：あり　　※ Class#nameなど 　　　　　型注釈：なし 　　　　　型推論：なし　　※外部システムにより提供 　　　　
16. Rubyの型システム 　　　　　型検査：動的 　　　　　型強度：強い　　※暗黙的型変換をしない 　　　　　型互換：構造的　※== ダックタイピング的 ⇔ 宣言的 / 継承的 　　　　　型変性：あり　　※オープンクラスやメソッド再定義など ポリモーフィック：あり 　　※ダックタイピングによって解決 　　実行時型表現：あり　　※Class#nameなど 　　　　　型注釈：なし 　　　　　型推論：なし　　※外部システムにより提供 　　　　
17. Rubyの特徴 • 書いていて楽しい • スクリプト言語 • 純粋オブジェクト指向 • 書いていて楽しい • 動的型付け • ダックタイピング • 書いていて楽しい • 暗黙的型変換の禁止 • Mix-in • 実行時クラス再オープン • 書いていて楽しい
18. オブジェクト指向とは 型の世界である
19. Rubyの型システム 　　　　　型検査：動的 　　　　　型強度：強い　　※暗黙的型変換をしない 　　　　　型互換：構造的　※== ダックタイピング的 ⇔ 宣言的 / 継承的 　　　　　型変性：あり　　※オープンクラスやメソッド再定義など ポリモーフィック：あり 　　※ダックタイピングによって解決 　　実行時型表現：あり　　※Class#nameなど 　　　　　型注釈：なし 　　　　　型推論：なし　　※外部システムにより提供 　　　　
20. 「Rubyには型がない」
21. 「Rubyには型がない」 「うんうん、Rubyには 　型(注釈)がないね
22. 「Rubyには型がない」 「うんうん、Rubyには 　型(注釈)がないね(冷笑)」
23. 次回： お前はまだRubyの 型の強さを知らない