RubyのProcのあれをこうしました

Transcript

1. RubyのProcのあれ をこうしました
2. kunou ITSํ໘͔Βདྷ·ͨ͠
3. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ ࠓճ΍Γ͍ͨ͜ͱ Clojureで
4. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ ࠓճ΍Γ͍ͨ͜ͱ Clojureで ((fn [x y] (+ x y)) 1 2)
5. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ ࠓճ΍Γ͍ͨ͜ͱ Clojureで ((fn [x y] (+ x y)) 1 2) ࣮Ҿ਺
6. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ ࠓճ΍Γ͍ͨ͜ͱ Clojureで ((fn [x y] (+ x y)) 1 2) ແ໊ؔ਺
7. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ ࠓճ΍Γ͍ͨ͜ͱ Clojureで ((fn [x y] (+ x y)) 1 2) ԾҾ਺
8. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ ࠓճ΍Γ͍ͨ͜ͱ Clojureで ((fn [x y] (+ x y)) 1 2)
9. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ ࠓճ΍Γ͍ͨ͜ͱ Clojureで ((fn [x y] (+ x y)) 1 2) =>3
10. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ ࠓճ΍Γ͍ͨ͜ͱ Clojureで (#(+ %1 %2) 1 2)
11. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ ࠓճ΍Γ͍ͨ͜ͱ Clojureで (#(+ %1 %2) 1 2) ࣮Ҿ਺
12. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ ࠓճ΍Γ͍ͨ͜ͱ Clojureで (#(+ %1 %2) 1 2) ແ໊ؔ਺
13. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ ࠓճ΍Γ͍ͨ͜ͱ Clojureで (#(+ %1 %2) 1 2)
14. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ ࠓճ΍Γ͍ͨ͜ͱ Clojureで (#(+ %1 %2) 1 2) =>3
15. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ ࠓճ΍Γ͍ͨ͜ͱ Clojureで (#(+ %1 %2) 1 2) =>3 ԾҾ਺ͷએݴΛলུग़དྷΔ
16. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ ࠓճ΍Γ͍ͨ͜ͱ Clojureで (#(+ %1 %2) 1 2) =>3 ԾҾ਺ͷએݴΛলུग़དྷΔ ͜ΕΛRubyͰॻ͚ΔΑ͏ʹ͢Δʂ
17. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ ׬੒Πϝʔδ -> { _1 + _2 }.mycall(1, 2) => 3 ͱΓ͋͑ͣɺҾ਺ΛೋݸݻఆͰ࡞ͬͯΈΔ
18. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ mycallメソッドをProcクラスに生やす class Proc
 def mycall(x, y) call end
 end
19. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ mycallメソッドをProcクラスに生やす class Proc
 def mycall(x, y) call end
 end -> { _1 + _2 }.mycall(1, 2)
20. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ mycallメソッドをProcクラスに生やす class Proc
 def mycall(x, y) call end
 end -> { _1 + _2 }.mycall(1, 2) NameError: undefined local variable or method `_1' for main:Object
21. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ mycallメソッドをProcクラスに生やす class Proc
 def mycall(x, y) call end
 end -> { _1 + _2 }.mycall(1, 2) NameError: undefined local variable or method `_1' for main:Object ͜͜·ͰདྷΕ͹ग़དྷͨ΋ಉવͰ͢Ͷ
22. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ 実行時のローカル変数として定義する class Proc
 def mycall(x, y) _1, _2 = x, y call end
 end
23. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ 実行時のローカル変数として定義する class Proc
 def mycall(x, y) _1, _2 = x, y call end
 end ͜͜Λ଍ͨ͠
24. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ 実行時のローカル変数として定義する class Proc
 def mycall(x, y) _1, _2 = x, y call end
 end -> { _1 + _2 }.mycall(1, 2)
25. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ 実行時のローカル変数として定義する class Proc
 def mycall(x, y) _1, _2 = x, y call end
 end -> { _1 + _2 }.mycall(1, 2) NameError: undefined local variable or method `_1' for main:Object
26. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ 実行時のローカル変数として定義する class Proc
 def mycall(x, y) _1, _2 = x, y call end
 end -> { _1 + _2 }.mycall(1, 2) NameError: undefined local variable or method `_1' for main:Object ͓΍…ʁ
27. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ 実行時のローカル変数として定義する class Proc
 def mycall(x, y) _1, _2 = x, y call end
 end -> { _1 + _2 }.mycall(1, 2) NameError: undefined local variable or method `_1' for main:Object Proc͕࣮ߦ͞ΕΔ࣌ͷίϯςΩετͷ ϩʔΧϧม਺͸Procͷத͔ΒݟΕͳ͍
28. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ 気を取り直して
29. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ Procオブジェクトに特異メソッドを生やす class Proc
 def mycall(x, y) define_singleton_method(:_1) { x }
 define_singleton_method(:_2) { y } call end
 end
30. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ Procオブジェクトに特異メソッドを生やす class Proc
 def mycall(x, y) define_singleton_method(:_1) { x }
 define_singleton_method(:_2) { y } call end
 end ͜͏Ͱ͢Ͷʂ
31. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ Procオブジェクトに特異メソッドを生やす class Proc
 def mycall(x, y) define_singleton_method(:_1) { x }
 define_singleton_method(:_2) { y } call end
 end -> { _1 + _2 }.mycall(1, 2)
32. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ Procオブジェクトに特異メソッドを生やす class Proc
 def mycall(x, y) define_singleton_method(:_1) { x }
 define_singleton_method(:_2) { y } call end
 end -> { _1 + _2 }.mycall(1, 2) ಈ͘ͱࢥ͍·ͨ͠ʁ
33. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ Procオブジェクトに特異メソッドを生やす class Proc
 def mycall(x, y) define_singleton_method(:_1) { x }
 define_singleton_method(:_2) { y } call end
 end -> { _1 + _2 }.mycall(1, 2) NameError: undefined local variable or method `_1' for main:Object
34. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ Procオブジェクトに特異メソッドを生やす class Proc
 def mycall(x, y) define_singleton_method(:_1) { x }
 define_singleton_method(:_2) { y } call end
 end -> { _1 + _2 }.mycall(1, 2) NameError: undefined local variable or method `_1' for main:Object Procオブジェクトに特異メソッドを生やしたところで
 Procの中の処理から見られるわけではない
35. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ 真面目に考えましょう
36. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ これは… class ProcGenerator
 def generate(x, y)
 _1, _2 = x, y
 -> { _1 + _2 }
 end
 end proc = ProcGenerator.generate(1, 2)
 proc.call
37. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ これは…行ける class ProcGenerator
 def generate(x, y)
 _1, _2 = x, y
 -> { _1 + _2 }
 end
 end proc = ProcGenerator.generate(1, 2)
 proc.call
 
 =>3
38. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ これは…行ける class ProcGenerator
 def generate(x, y)
 _1, _2 = x, y
 -> { _1 + _2 }
 end
 end proc = ProcGenerator.generate(1, 2)
 proc.call
 
 =>3 なぜならば、RubyのProcは関数が宣言された時の コンテキストの状態を保持しているため(Closure)
39. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ これは…行ける class ProcGenerator
 def generate(x, y)
 _1, _2 = x, y
 -> { _1 + _2 }
 end
 end proc = ProcGenerator.generate(1, 2)
 proc.call
 
 =>3 なぜならば、RubyのProcは関数が宣言された時の コンテキストの状態を保持しているため(Closure) ここで宣言されているものは Procの処理の中から参照・操作可能
40. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ これも行ける class ProcGenerator
 def generate(x, y)
 define_singleton_method(:_1) { x }
 define_singleton_method(:_2) { y }
 -> { _1 + _2 }
 end
 end proc = ProcGenerator.generate(1, 2)
 proc.call
 
 =>3
41. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ これも行ける class ProcGenerator def _1; 1; end
 def _2; 2; end 
 def generate(x, y)
 -> { _1 + _2 }
 end
 end Proc宣言時にはこうなっている （イメージ）
42. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ 要するに
43. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ 要するに Proc͕એݴ͞Εͨͱ͖ͷϨγʔόʔΛ ޙ͔Β࿔͘Δ͜ͱ͕ग़དྷΕ͹ ΍Γ͍ͨ͜ͱΛୡ੒
44. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ 出来るの？
45. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ 出来るの？ それ、Proc#bindingで出来るよ！
46. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ Proc#binding class ProcGenerator
 def generate(x, y)
 define_singleton_method(:_1) { x }
 define_singleton_method(:_2) { y }
 -> { _1 + _2 }
 end
 end proc = ProcGenerator.new.generate(1, 2) proc.binding.receiver.class

47. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ Proc#binding class ProcGenerator
 def generate(x, y)
 define_singleton_method(:_1) { x }
 define_singleton_method(:_2) { y }
 -> { _1 + _2 }
 end
 end proc = ProcGenerator.new.generate(1, 2) proc.binding.receiver.class => ProcGenerator

48. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ Proc#binding class ProcGenerator
 def generate(x, y)
 define_singleton_method(:_1) { x }
 define_singleton_method(:_2) { y }
 -> { _1 + _2 }
 end
 end proc = ProcGenerator.new.generate(1, 2) proc.binding.receiver.class => ProcGenerator
 Proc宣言時のレシーバーが取れている ことが分かる
49. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ ここまでを踏まえて
50. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ こうする class Proc
 def mycall(x, y) binding.receiver. instance_eval("define_singleton_method '_1', -> { #{x} }")
 binding.receiver. instance_eval("define_singleton_method '_2', -> { #{y} }") call end
 end
51. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ 実行すると… class Proc
 def mycall(x, y) binding.receiver. instance_eval("define_singleton_method '_1', -> { #{x} }")
 binding.receiver. instance_eval("define_singleton_method '_2', -> { #{y} }") call end
 end -> { _1 + _2 }.mycall(1, 2) -> { _1 - _2 }.mycall(100, 20)
52. RubyͷProcͷ͋ΕΛ͜͏͠·ͨ͠ class Proc
 def mycall(x, y) binding.receiver. instance_eval("define_singleton_method '_1', -> { #{x} }")
 binding.receiver. instance_eval("define_singleton_method '_2', -> { #{y} }") call end
 end -> { _1 + _2 }.mycall(1, 2) => 3 -> { _1 - _2 }.mycall(100, 20) => 80
53. ςΩετ ⾠஫ҙͱ·ͱΊ ▸ ࠓճ͸Ҿ਺͕̎ݸͷ৔߹͚ͩͰ͕͢ɺՄม௕Ҿ਺Λ͔ͭ͑ ͹೚ҙͷ਺ͷҾ਺Ͱ΋࣮ݱՄೳʢͳഺʣ ▸ _1, _2…ͱ͍͏ϝιου͸࢖͍ऴΘͬͨΒফͨ͠΄͏͕ྑ͍ ▸ proc.binding.receiveʹɺ_1, _2…ͱ͍͏ϝιου͕ݩ͔Β ͋ΔͱյΕΔ ▸ binding͍͢͝
54. RubyのProcのあれ をこうしました
55. RubyのProcのレシーバ を 壊 しました