カリー化入門 / currying

あくあたん工房2019年7月部会のLTです

Transcript

1. カリー化入門 2019年あくあたん工房7月部会
2. そもそも カリー化って何?
3. カリー化 (currying, カリー化された =curried) とは、複数の引数をとる関数 を、引数が「もとの関数の最初の引 数」で戻り値が「もとの関数の残りの 引数を取り結果を返す関数」であるよ うな関数にすること（あるいはその関 数のこと）である。 出典：ウィキペディア
4. つまり、
5. N個の引数をとる関数 一引数を取る関数のチェイン
6. 具体例
7. 𝑓: 𝑥 → 𝑦 関数が引数を一つのみとる つまり、 すでにカリー化されている 引数を１個とる関数の場合
8. 𝑓: 𝑥, 𝑦 → 𝑧 ↓ 𝑔: 𝑥 → (ℎ: 𝑦 → 𝑧) 引数を２個とる関数の場合
9. 𝑓: 𝑥, 𝑦, 𝑧 → 𝑢 ↓ 𝑔: 𝑥 → (ℎ: 𝑦 → (𝑖: 𝑧 → 𝑢)) 引数を３個とる関数の場合
10. 何が うれしいの？
11. 具体例として， 2つの引数の合計を返す関数f(x, y) をmap関数に渡す場合を考える
12. カリー化 されていないとき
13. func f(x,y) int { return x + y } func g(x) int { return f(1, x) } list2 = map(g, list1)
14. カリー化 されているとき
15. func f(x,y) int { return x + y } list2 = map(g(1), list1)
16. 部分適用で よくね
17. できることは同じ
18. func f(x,y) int { return x + y } g = partial(f, 1) list2 = map(g, list1)
19. おまけ Pythonでカリー化
20. >>> currying.f("a")("b")("c") 'abc' カリー化されてる関数
21. >>> currying.f("a")("b")("c") 'abc' 関数をカリー化する関数
22. ご清聴ありがとう ございました