esm lt Clojure like threading macro

Transcript

1. Clojureͷ εϨοσΟϯάϚΫϩ ͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ ʹ͍ͭͯ esm LT 2016/10/07
2. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ࣗݾ঺հ ▸ ٱೲ ޻ ▸ 2006೥ೖࣾ ▸ ITαʔϏεࣄۀ෦
3. Clojure ▸ Clojure (ൃԻ͸/'klouʒər/[2], Ϋϩʔδϟʔ)͸ϓϩάϥϛϯάݴ ޠͰ͋ΓɺLISPܥͷݴޠͷํݴͷҰͭͰ͋Δɻؔ਺ܕϓϩάϥ ϛϯάͷϓϩάϥϛϯάελΠϧͰͷΠϯλϥΫςΟϒͳ։ൃ Λࢧԉ͠ɺϚϧνεϨουϓϩάϥϜͷ։ൃΛ༰қԽ͢Δ൚༻ ݴޠͰ͋ΔɻClojureݴޠͷϓϩάϥϜ͸JavaԾ૝Ϛγϯͱ Microsoft .NET ڞ௨ݴޠϥϯλΠϜͰಈ࡞͢ΔɻClojureݴޠ͸ ʮσʔλͱͯ͠ͷϓϩάϥϜίʔυʯ (ӳޠ:ʮcode as dataʯ) ͱ͍͏ࢥ૝Ͱઃܭ͞Ε͓ͯΓɺચ࿅͞ΕͨϚΫϩػߏΛ࣋ͭɻ ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ WikipediaΑΓ
4. Clojure ▸ Clojure (ൃԻ͸/'klouʒər/[2], Ϋϩʔδϟʔ)͸ϓϩάϥϛϯάݴ ޠͰ͋ΓɺLISPܥͷݴޠͷํݴͷҰͭͰ͋Δɻؔ਺ܕϓϩάϥ ϛϯάͷϓϩάϥϛϯάελΠϧͰͷΠϯλϥΫςΟϒͳ։ൃ Λࢧԉ͠ɺϚϧνεϨουϓϩάϥϜͷ։ൃΛ༰қԽ͢Δ൚༻ ݴޠͰ͋ΔɻClojureݴޠͷϓϩάϥϜ͸JavaԾ૝Ϛγϯͱ Microsoft .NET ڞ௨ݴޠϥϯλΠϜͰಈ࡞͢ΔɻClojureݴޠ͸ ʮσʔλͱͯ͠ͷϓϩάϥϜίʔυʯ (ӳޠ:ʮcode as dataʯ) ͱ͍͏ࢥ૝Ͱઃܭ͞Ε͓ͯΓɺચ࿅͞ΕͨϚΫϩػߏΛ࣋ͭɻ ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ WikipediaΑΓ
5. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ εϨοσΟϯάϚΫϩͱ͸ ClojureͷSࣜͩͱ (reduce + 100 (map #(* %1 2) (filter even? [1 2 3 4])))
6. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ εϨοσΟϯάϚΫϩͱ͸ ClojureͷSࣜͩͱ (reduce + 100 (map #(* %1 2) (filter even? [1 2 3 4]))) こう実行されて
7. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ εϨοσΟϯάϚΫϩͱ͸ ClojureͷSࣜͩͱ (reduce + 100 (map #(* %1 2) (filter even? [1 2 3 4]))) ;;=> 112 こうなる
8. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ εϨοσΟϯάϚΫϩͱ͸ εϨοσΟϯάϚΫϩͩͱ (->> [1 2 3 4] (filter even?) (map #(* %1 2)) (reduce + 100))
9. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ εϨοσΟϯάϚΫϩͱ͸ εϨοσΟϯάϚΫϩͩͱ (->> [1 2 3 4] (filter even?) (map #(* %1 2)) (reduce + 100)) こう実行されて
10. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ εϨοσΟϯάϚΫϩͱ͸ εϨοσΟϯάϚΫϩͩͱ (->> [1 2 3 4] (filter even?) (map #(* %1 2)) (reduce + 100)) ;;=> 112 こうなる
11. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ εϨοσΟϯάϚΫϩͷར఺ εϨοσΟϯάϚΫϩ (->> [1 2 3 4] (filter even?) (map #(* %1 2)) (reduce + 100)) SࣜͷΈ (reduce + 100 (map #(* %1 2) (filter even? [1 2 3 4])))
12. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ εϨοσΟϯάϚΫϩͷར఺ εϨοσΟϯάϚΫϩ (->> [1 2 3 4] (filter even?) (map #(* %1 2)) (reduce + 100)) SࣜͷΈ (reduce + 100 (map #(* %1 2) (filter even? [1 2 3 4]))) スレッディングマクロを使うと 評価の時系列順に上から読むことが出来る
13. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ଞʹ΋͋ΔεϨοσΟϯάϚΫϩͷར఺ ClojureͷSࣜͩͱ (reduce + 100 (map #(* %1 2) (filter even? [1 2 3 4])))
14. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ଞʹ΋͋ΔεϨοσΟϯάϚΫϩͷར఺ ClojureͷSࣜͩͱ (reduce + 100 ..(map #(* %1 2) ....(filter even? ......[1 2 3 4]))) インデントはこうなる
15. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ଞʹ΋͋ΔεϨοσΟϯάϚΫϩͷར఺ εϨοσΟϯάϚΫϩͩͱ (->> [1 2 3 4] (filter even?) (map #(* %1 2)) (reduce + 100))
16. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ଞʹ΋͋ΔεϨοσΟϯάϚΫϩͷར఺ εϨοσΟϯάϚΫϩͩͱ (->> ..[1 2 3 4] ..(filter even?) ..(map #(* %1 2)) ..(reduce + 100)) インデントはこうなる
17. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ଞʹ΋͋ΔεϨοσΟϯάϚΫϩͷར఺ εϨοσΟϯάϚΫϩ (->> [1 2 3 4] (filter even?) (map #(* %1 2)) (reduce + 100)) SࣜͷΈ (reduce + 100 (map #(* %1 2) (filter even? [1 2 3 4])))
18. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ଞʹ΋͋ΔεϨοσΟϯάϚΫϩͷར఺ εϨοσΟϯάϚΫϩ (->> ..[1 2 3 4] ..(filter even?) ..(map #(* %1 2)) ..(reduce + 100)) SࣜͷΈ (reduce + 100 ..(map #(* %1 2) ....(filter even? ......[1 2 3 4]))) コードのインデントが深くならない
19. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ εϨοσΟϯάϚΫϩͷར఺ 他にも有るけど割愛
20. Clojureͷ εϨοσΟϯάϚΫϩ ͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ ʹ͍ͭͯ esm LT 2016/10/07
21. Clojureͷ εϨοσΟϯάϚΫϩ ͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ ʹ͍ͭͯ END esm LT 2016/10/07
22. Clojureͷ εϨοσΟϯάϚΫϩ ͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ ʹ͍ͭͯ ୈೋ෦ esm LT 2016/10/07
23. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ RubyͷϥϜμࣜͰSࣜ૬౰ͷॲཧΛॻ͘ͱ…
24. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ RubyͷϥϜμࣜͰSࣜ૬౰ͷॲཧΛॻ͘ͱ… -> (collection) { collection.reduce(100, :+) }.
 call(-> (collection) { collection.map {|e| e * 2 } }.
 call(-> (collection) { collection.select(&:even?) }.
 call([1, 2, 3, 4])))
25. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ RubyͷϥϜμࣜͰSࣜ૬౰ͷॲཧΛॻ͘ͱ… -> (collection) { collection.reduce(100, :+) }.
 call(-> (collection) { collection.map {|e| e * 2 } }.
 call(-> (collection) { collection.select(&:even?) }.
 call([1, 2, 3, 4]))) これをスレッディングマクロっぽく 書けるようにする
26. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ جຊͷΞΠσΟΞ [
 -> (collection) { collection.select(&:even?) },
 -> (collection) {
 collection.map {|e| e * 2 }
 },
 -> (collection) { collection.reduce(100, :+) }
 ].reduce([1, 2, 3, 4]) {
 |acc, proc| proc.call(acc)
 }
27. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ جຊͷΞΠσΟΞ [
 -> (collection) { collection.select(&:even?) },
 -> (collection) {
 collection.map {|e| e * 2 }
 },
 -> (collection) { collection.reduce(100, :+) }
 ].reduce([1, 2, 3, 4]) {
 |acc, proc| proc.call(acc)
 } Procの配列に対して
28. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ جຊͷΞΠσΟΞ [
 -> (collection) { collection.select(&:even?) },
 -> (collection) {
 collection.map {|e| e * 2 }
 },
 -> (collection) { collection.reduce(100, :+) }
 ].reduce([1, 2, 3, 4]) {
 |acc, proc| proc.call(acc)
 } Procの配列に対して reduceして、処理結果に順々に適用する
29. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ جຊͷΞΠσΟΞ [
 -> (collection) { collection.select(&:even?) },
 -> (collection) {
 collection.map {|e| e * 2 }
 },
 -> (collection) { collection.reduce(100, :+) }
 ].reduce([1, 2, 3, 4]) {
 |acc, proc| proc.call(acc)
 } => 112 Procの配列に対して reduceして、処理結果に順々に適用する
30. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ͱΓ͋͑ͣ͜͜·Ͱ࣮૷ͯ͠ΈΔ def thread_last(*procs)
 procs[1..-1].reduce(procs.first) {|acc, proc|
 proc.call acc
 }
 end
31. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ͱΓ͋͑ͣ͜͜·Ͱ࣮૷ͯ͠ΈΔ def thread_last(*procs)
 procs[1..-1].reduce(procs.first) {|acc, proc|
 proc.call acc
 }
 end thread_last(
 [1,2,3,4],
 -> (collection) { collection.select(&:even?) },
 -> (collection) { collection.map {|e| e * 2 } },
 -> (collection) { collection.reduce(100, :+) }
 )
32. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ͱΓ͋͑ͣ͜͜·Ͱ࣮૷ͯ͠ΈΔ def thread_last(*procs)
 procs[1..-1].reduce(procs.first) {|acc, proc|
 proc.call acc
 }
 end thread_last(
 [1,2,3,4],
 -> (collection) { collection.select(&:even?) },
 -> (collection) { collection.map {|e| e * 2 } },
 -> (collection) { collection.reduce(100, :+) }
 ) => 112
33. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ͱΓ͋͑ͣ͜͜·Ͱ࣮૷ͯ͠ΈΔ def thread_last(*procs)
 procs[1..-1].reduce(procs.first) {|acc, proc|
 proc.call acc
 }
 end thread_last(
 [1,2,3,4],
 -> (collection) { collection.select(&:even?) },
 -> (collection) { collection.map {|e| e * 2 } },
 -> (collection) { collection.reduce(100, :+) }
 ) => 112 出来た！
34. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ جຊͷΞΠσΟΞ [
 -> (collection) { collection.select(&:even?) },
 -> (collection) {
 collection.map {|e| e * 2 }
 },
 -> (collection) { collection.reduce(100, :+) }
 ].reduce([1, 2, 3, 4]) {
 |acc, proc| proc.call(acc)
 }
35. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ͜Μͳͱ͖͸Ͳ͏͢Δʁ [
 -> (collection) { collection.select(&:even?) },
 -> (n, collection) {
 collection.map {|e| e * n }
 },
 -> (collection) { collection.reduce(100, :+) }
 ].reduce([1, 2, 3, 4]) {
 |acc, proc| proc.call(acc)
 }
36. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ͜Μͳͱ͖͸Ͳ͏͢Δʁ [
 -> (collection) { collection.select(&:even?) },
 -> (n, collection) {
 collection.map {|e| e * n }
 },
 -> (collection) { collection.reduce(100, :+) }
 ].reduce([1, 2, 3, 4]) {
 |acc, proc| proc.call(acc)
 } nを指定したい
37. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ͜Μͳͱ͖͸Ͳ͏͢Δʁ [
 -> (collection) { collection.select(&:even?) },
 -> (n, collection) {
 collection.map {|e| e * n }
 },
 -> (collection) { collection.reduce(100, :+) }
 ].reduce([1, 2, 3, 4]) {
 |acc, proc| proc.call(acc)
 } ArgumentError: wrong number of arguments (given 1, expected 2)
38. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ͜Μͳͱ͖͸Ͳ͏͢Δʁ [
 -> (collection) { collection.select(&:even?) },
 -> (n, collection) {
 collection.map {|e| e * n }
 },
 -> (collection) { collection.reduce(100, :+) }
 ].reduce([1, 2, 3, 4]) {
 |acc, proc| proc.call(acc)
 } ArgumentError: wrong number of arguments (given 1, expected 2) 一つの引数にだけ Procを適用している
39. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ͜Μͳͱ͖͸ [
 -> (collection) { collection.select(&:even?) },
 -> (n, collection) {
 collection.map {|e| e * n }
 },
 -> (collection) { collection.reduce(100, :+) }
 ].reduce([1, 2, 3, 4]) {
 |acc, proc| proc.call(acc)
 }
40. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ͜Μͳͱ͖͸͜͏͢Δʂ [
 -> (collection) { collection.select(&:even?) },
 -> (n, collection) {
 collection.map {|e| e * n }
 }.curry[2],
 -> (collection) { collection.reduce(100, :+) }
 ].reduce([1, 2, 3, 4]) {
 |acc, proc| proc.call(acc)
 }
41. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ͜Μͳͱ͖͸͜͏͢Δʂ [
 -> (collection) { collection.select(&:even?) },
 -> (n, collection) {
 collection.map {|e| e * n }
 }.curry[2],
 -> (collection) { collection.reduce(100, :+) }
 ].reduce([1, 2, 3, 4]) {
 |acc, proc| proc.call(acc)
 } => 112
42. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ͜Μͳͱ͖͸͜͏͢Δʂ [
 -> (collection) { collection.select(&:even?) },
 -> (n, collection) {
 collection.map {|e| e * n }
 }.curry[2],
 -> (collection) { collection.reduce(100, :+) }
 ].reduce([1, 2, 3, 4]) {
 |acc, proc| proc.call(acc)
 } curryとは？
43. 60sec Ͱ෼͔Δ(ͱྑ͍ͳͱࢥ͏) ΧϦʔԽͱ෦෼ద༻
44. 60sec Ͱ෼͔Δ(ͱྑ͍ͳͱࢥ͏)ΧϦʔԽͱ෦෼ద༻ ΧϦʔԽͱ͸ 関数がただ一つの引数だけをとるようにすること。 この状態の関数をカリー化されていると呼ぶ。 ２引数の関数はカリー化することで、引数の数が 一つである関数と、その関数を返す引数の数が一 つの関数に分けられる。
45. 60sec Ͱ෼͔Δ(ͱྑ͍ͳͱࢥ͏)ΧϦʔԽͱ෦෼ద༻ ΧϦʔԽͱ͸ Ruby で書くと… ->(x, y) { x + y }.call(2, 3) => 5
46. 60sec Ͱ෼͔Δ(ͱྑ͍ͳͱࢥ͏)ΧϦʔԽͱ෦෼ద༻ ΧϦʔԽͱ͸ Ruby で書くと… ->(x, y) { x + y }.call(2, 3) => 5 ->(x) { -> (y) { x + y } }.call(2).call(3) => 5 カリー化(手動)
47. 60sec Ͱ෼͔Δ(ͱྑ͍ͳͱࢥ͏)ΧϦʔԽͱ෦෼ద༻ ΧϦʔԽͱ͸ Ruby で書くと… ->(x, y) { x + y }.call(2, 3) => 5 ->(x, y) { x + y }.curry[2][3] => 5 カリー化
48. 60sec Ͱ෼͔Δ(ͱྑ͍ͳͱࢥ͏)ΧϦʔԽͱ෦෼ద༻ ΧϦʔԽͱ͸ Ruby で書くと… ->(x, y) { x + y }.call(2, 3) ->(x, y) { x + y }.curry[2][3] ``-> (y) { 2 + y }`` 相当のProcが返ってくる カリー化
49. 60sec Ͱ෼͔Δ(ͱྑ͍ͳͱࢥ͏)ΧϦʔԽͱ෦෼ద༻ ΧϦʔԽͱ͸ 任意の数の引数のProcをカリー化出来る ->(x, y, z) { x + y + z }.curry[2][3][4] => 9 ->(x, y, z, xx, yy, zz) { x + y + z + xx + yy + zz }.curry[2][3][4][5][6][7] => 27
50. 60sec Ͱ෼͔Δ(ͱྑ͍ͳͱࢥ͏)ΧϦʔԽͱ෦෼ద༻ ΧϦʔԽͱ͸ 途中で変数に取ることも出来る partialized_proc = ->(x, y) { x + y }.curry[2] => #<Proc:0x007feaa2f4c6f0 (lambda)> partialized_proc[3] => 5
51. 60sec Ͱ෼͔Δ(ͱྑ͍ͳͱࢥ͏)ΧϦʔԽͱ෦෼ద༻ ΧϦʔԽͱ͸ 途中で変数に取ることも出来る partialized_proc = ->(x, y) { x + y }.curry[2] => #<Proc:0x007feaa2f4c6f0 (lambda)> partialized_proc[3] => 5 全ての引数が渡されると処理結果が返ってくる
52. 60sec Ͱ෼͔Δ(ͱྑ͍ͳͱࢥ͏)ΧϦʔԽͱ෦෼ద༻ ෦෼ద༻ͱ͸ 部分適用とは、関数に対して全ての引数を一度に 渡さず、一部の引数だけ渡すことができる仕組 み。
53. 60sec Ͱ෼͔Δ(ͱྑ͍ͳͱࢥ͏)ΧϦʔԽͱ෦෼ద༻ ෦෼ద༻ͱ͸ partialized_proc = ->(x, y) { x + y }.curry[2] => #<Proc:0x007feaa2f4c6f0 (lambda)> partialized_proc[3] => 5
54. 60sec Ͱ෼͔Δ(ͱྑ͍ͳͱࢥ͏)ΧϦʔԽͱ෦෼ద༻ ෦෼ద༻ͱ͸ partialized_proc = ->(x, y) { x + y }.curry[2] => #<Proc:0x007feaa2f4c6f0 (lambda)> partialized_proc[3] => 5 これが部分適用された状態のProc
55. 60sec Ͱ෼͔Δ(ͱྑ͍ͳͱࢥ͏) ΧϦʔԽͱ෦෼ద༻ END
56. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ⾠஫ҙࣄ߲
57. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ⾠஫ҙࣄ߲ Clojureではスレッディングマクロの実現に Transducersという機構を使用しています。
58. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ⾠஫ҙࣄ߲ Clojureではスレッディングマクロの実現に Transducersという機構を使用しています。 が、ここではTransducersについては触れません。
59. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ͜ͷॻ͖ํΛ [
 -> (collection) { collection.select(&:even?) },
 -> (n, collection) {
 collection.map {|e| e * n }
 }.curry[2],
 -> (collection) { collection.reduce(100, :+) }
 ].reduce([1, 2, 3, 4]) {
 |acc, proc| proc.call(acc)
 }
60. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ thread_last ʹద༻͢Δͱ… thread_last(
 [1,2,3,4],
 -> (collection) { collection.select(&:even?) },
 -> (n, collection) { collection.map {|e| e * n }.curry[2] },
 -> (collection) { collection.reduce(100, :+) }
 )
61. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ thread_last ʹద༻͢Δͱ… thread_last(
 [1,2,3,4],
 -> (collection) { collection.select(&:even?) },
 -> (n, collection) { collection.map {|e| e * n }.curry[2] },
 -> (collection) { collection.reduce(100, :+) }
 ) => 112
62. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ thread_last ʹద༻͢Δͱ… thread_last(
 [1,2,3,4],
 -> (collection) { collection.select(&:even?) },
 -> (n, collection) { collection.map {|e| e * n }.curry[2] },
 -> (collection) { collection.reduce(100, :+) }
 ) => 112 利用者がcurryしないといけない
63. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ͍͍ͪͪcurryͨ͘͠ͳ͍……
64. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ͍͍ͪͪcurryͨ͘͠ͳ͍…… class Proc
 def |(arg)
 self.curry[arg]
 end
 end
65. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ͍͍ͪͪcurryͨ͘͠ͳ͍…… class Proc
 def |(arg)
 self.curry[arg]
 end
 end Procに | メソッドを生やす
66. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ͍͍ͪͪcurryͨ͘͠ͳ͍…… class Proc
 def |(arg)
 self.curry[arg]
 end
 end thread_last(
 [1,2,3,4],
 -> (collection) { collection.select(&:even?) },
 -> (n, collection) { collection.map {|e| e * n } } | 2,
 -> (collection) { collection.reduce(100, :+) }
 ) Procに | メソッドを生やす
67. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ͍͍ͪͪcurryͨ͘͠ͳ͍…… class Proc
 def |(arg)
 self.curry[arg]
 end
 end thread_last(
 [1,2,3,4],
 -> (collection) { collection.select(&:even?) },
 -> (n, collection) { collection.map {|e| e * n } } | 2,
 -> (collection) { collection.reduce(100, :+) }
 ) => 112 Procに | メソッドを生やす
68. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ thread_last(->>) が出来た！
69. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ thread_last(->>) が出来た！
70. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ 色々なスレッディングマクロ ‣ 
    ‣ 
    ‣ BT
    ‣ TPNF
    ‣ TPNF
    ‣ DPOE
    ‣ DPOE
71. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ 色々なスレッディングマクロ ‣ 
    ‣ 
    ‣ BT
    ‣ TPNF
    ‣ TPNF
    ‣ DPOE
    ‣ DPOE まだまだ戦いは続く……
72. ▸ Ұ൪࠷ॳͷ஋ʹProc͕དྷΔ͜ͱ΋͋ΔɻͷͰɺ࠷ॳ͕ProcͳΒ͹࣮ߦ͢Δɻ΋ͪΖΜҾ਺ͷ਺͕ෆఆͳͷͰcallͰ ͸ͳ͘curryͰɻ ▸ Procʹੜ΍ͨ͠|ϝιουͰଈ࣌curry͍͚ͯͨ͠Ͳɺthread_first(->) ͷͱ͖͸࣮ߦ͢Δੇલ·ͰΧϦʔԽͨ͘͠ͳ ͍ͷͰɺ࣮ߦ࣌·Ͱ഑ྻͰ͍࣋ͬͯΔΑ͏ʹͨ͠ɻ ▸ thread_as(as->) ͢Δͱ͖͸Ҿ਺ͷૠೖ৔ॴΛબ΂ΔɻγϯϘϧͰදݱ͍͕ͨ͠Procͷ݁Ռ͕γϯϘϧʹͳΔ͜ͱ ΋༗ΔͷͰɺදݱ͖͠Εͳ͍ɻͷͰProcʹ৽ͨͳϝιου&Λੜ΍ͨ͠ɻ͔ͭɺૠೖҐஔΛද͢ܕΛ༻ҙͨ͠ɻ ▸ map ͱ͔reduceͱ͔͢ΔϥϜμࣜΛҰʑॻ͖ͨ͘ͳ͍……ͷͰɺҾ਺Ͱड͚औͬͨCollectionΛϨγʔόʔͱ͠ ͯmapΛ࣮ߦ͢Δϝιου_map(proc)͕includeͨ͠Ϋϥεͷselfʹੜ͑ΔΑ͏ʹͨ͠ɻreduce, selectʹؔͯ͠΋ ಉ༷ɻ ▸ ↑Ͱ࡞ͬͨϝιουͰɺProcΛ౉͍ͨ͠ͱ͖ͱBlockΛ౉͍ͨ͠ͱ͖͕͋Δɻ ▸ Clojureͷ->>ͱಉ͡Α͏ͳϝιουͷΤΠϦΞεΛઃ͚͍͕ͨɺ- ࢝·Γͷϝιου͸ॻ͚ͳ͍ɻϚϧνόΠτ͸ ͍͚ΔͷͰɺ৭ʑߟ͑ͨ݁Ռ͜Ε͕Ұ൪͍ۙͱࢥ͏ɻ ``ʔ✈✈`` ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ 戦いの記録(ダイジェスト版)
73. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ৭ʑ΍ͬͨ݁Ռ -> (collection) { collection.reduce(100, :+) }.
 call(-> (collection) { collection.map {|e| e * 2 } }.
 call(-> (collection) { collection.select(&:even?) }.
 call([1, 2, 3, 4]))) 
 
 
 

74. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ৭ʑ΍ͬͨ݁Ռ -> (collection) { collection.reduce(100, :+) }.
 call(-> (collection) { collection.map {|e| e * 2 } }.
 call(-> (collection) { collection.select(&:even?) }.
 call([1, 2, 3, 4]))) thread_last(
 [1, 2, 3, 4],
 _select(&:even?),
 _map(-> (e) { e * 2 }),
 _reduce(100, &:+)
 )
75. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ৭ʑ΍ͬͨ݁Ռ -> (collection) { collection.reduce(100, :+) }.
 call(-> (collection) { collection.map {|e| e * 2 } }.
 call(-> (collection) { collection.select(&:even?) }.
 call([1, 2, 3, 4]))) thread_last(
 [1, 2, 3, 4],
 _select(&:even?),
 _map(-> (e) { e * 2 }),
 _reduce(100, &:+)
 ) こ こ まで 短 く簡 潔 に 書 け る！ ！ ！
76. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ͳ͓…… 
 
 
 thread_last(
 [1, 2, 3, 4],
 _select(&:even?),
 _map(-> (e) { e * 2 }),
 _reduce(100, &:+)
 )
77. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ͳ͓…… 
 
 thread_last(
 [1, 2, 3, 4],
 _select(&:even?),
 _map(-> (e) { e * 2 }),
 _reduce(100, &:+)
 ) このコードをラムダ式を使わずに 普通に書くと……
78. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ͳ͓…… [1, 2, 3, 4].
 select(&:even?).
 map {|e| e * 2}. reduce(100, :+) thread_last(
 [1, 2, 3, 4],
 _select(&:even?),
 _map(-> (e) { e * 2 }),
 _reduce(100, &:+)
 ) このコードをラムダ式を使わずに 普通に書くと……
79. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ݁࿦ɻ
80. ClojureͷεϨοσΟϯάϚΫϩͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ʹ͍ͭͯ ݁࿦ɻ 素のRubyすごい
81. Clojureͷ εϨοσΟϯάϚΫϩ ͬΆ͍΋ͷΛRubyͰ࣮૷ͯ͠Έͨ࿩ ʹ͍ͭͯ ୈೋ෦ esm LT 2016/10/07 END