お前はまだRubyの 型の強さを知らない

Transcript

1. お前はまだ Rubyの 型の強さを知らない すぎうり Rubyの型シリーズ#2
2. 自己紹介　すぎうり • Twitter:@uproad3 • Ruby歴20年 • VRChat歴7年 • 仕事：Rails | AWS | LT芸人 • 趣味：アーキテクト | リファクタリング | 電子工作 • 言語：Ruby | C# | C | JS | ほかいろいろ • 技術：Terraform | Unity | Ubuntu | MySQL | RaspberryPi • 悲しきフルスタックエンジニア • 最近はClaudeをシバきまわしている • 特に型に強い思い入れがあるわけではない
3. 前回のおさらい 「Rubyには型がない」 　　　　　　　　　↓ 「Rubyには型注釈がないだけ」 型検査・型強度・型互換・型変性・ポリモーフィズム... Rubyには型システムがちゃんとある
4. 補足 このシリーズにおける型とは”インスタンス ”の型 変数はすべて型なし（あえて言うならインスタンス型） Rubyの世界では値はすべてインスタンス
5. 型の強さとは 強い型 暗黙的型変換をする 勝手に型を合わせてくれる 便利だけど予測が難しい 弱い型 暗黙的型変換をしない 型が合わなければエラー 意図が明確になる
6. 暗黙的型変換をする言語 JavaScript 1 + "2" // => "12" ← 数値が文字列に化ける C言語 int i = 1; float f = 2.5; float result = i + f; // int が暗黙的に float に昇格 → 便利だが、意図しない変換が潜む
7. Rubyは変換しない 3 + '1' # => TypeError: String can't be coerced into Integer Rubyは黙って変換しない。おかしければ怒る。 これが「型の強さ」 変換したいなら明示的に： 3 + '1'.to_i # => 4 3.to_s + '1' # => '31'
8. 前提：’+’は実はメソッド呼び出し Rubyの演算子は「メソッド」として定義されている # 1 + 2 は実はこういうこと 1.+(2) # => 3 # 自分で定義もできる class MyVal def +(other) MyVal.new(@val + other.val) end end
9. String#+ は相手の to_str を呼ぶ コード例 # to_str なし → TypeError class MyStr def initialize(s); @s = s; end end "Hello " + MyStr.new("world") # => TypeError # to_str あり → 成功 class MyStr def to_str; @s; end end "Hello " + MyStr.new("world") # => "Hello world" String#+ の擬似コード def +(other) if other.respond_to?(:to_str) # to_str を呼んで文字列化 concat(other.to_str) else raise TypeError, "no implicit conversion" end end ※ 実際はC実装。Ruby擬似コードに変換
10. Numeric#+ は相手の coerce を呼ぶ コード例 class Money def initialize(v); @v = v; end def coerce(other) [Money.new(other), self] end def +(other) Money.new(@v + other.to_i) end end 2 + Money.new(100) # => Money(102) Numeric#+ の擬似コード def +(other) # 同じ型なら直接計算 return numeric_add(other) if other.is_a?(Numeric) # 異なる型は coerce を期待 x, y = other.coerce(self) x + y rescue TypeError raise TypeError, "can't coerce" end ※ 実際はC実装。Ruby擬似コードに変換
11. Rubyは相手が変換方法を知っていることを期待する String#+ to_str を持ってる？ 持っていれば文字列 として扱う 持っていなければ TypeError Numeric#+ coerce を持ってる？ 持っていれば演算可 能として扱う 持っていなければ TypeError 共通の思想 暗黙的に変換しない 変換方法を知って いるかを確かめて から使う 型は強い。でも、変換方法を提供できる ——これがRubyの「開かれた強さ」
12. まとめ Rubyの型は「強い」 型が合わなければ TypeError で落とす 変換メソッドの呼び出し(to_str, coerce) + ダックタイピング →　暗黙的型変換をしない →　意図を明示することがRubyの流儀 →　既存の型に型演算を追加できる
13. 次回 お前はまだ Rubyの型の互換性を知らない