![sum2([1, 2, 3, 4, 5])
1 + sum2([2, 3, 4, 5])
1 + (2 + sum2([3, 4, 5]))
1 + (2 + (3 + sum2([4, 5])))
1 + (2 + (3 + (4 + sum2([5]))))
1 + (2 + (3 + (4 + (5 + sum2([])))))
1 + (2 + (3 + (4 + (5 + 0))))
1 + (2 + (3 + (4 + 5)))
1 + (2 + (3 + 9))
1 + (2 + 12)
1 + 14
15](https://image.slidesharecdn.com/swift-150930111422-lva1-app6891/85/Swift-10-320.jpg)
![acc num new acc rest
0 1 0 + 1 -> 1 [2, 3, 4, 5]
1 2 1 + 2 -> 3 [3, 4, 5]
3 3 3 + 3 -> 6 [4, 5]
6 4 6 + 4 -> 10 [5]
10 5 10 + 5 -> 15 []](https://image.slidesharecdn.com/swift-150930111422-lva1-app6891/85/Swift-13-320.jpg)
Ad
More Related Content
What's hot (20)
Similar to Swiftでの関数型プログラミングについて考えていること (20)
Ad
Swiftでの関数型プログラミングについて考えていること
- 4. Multi-paradigm Swift is a multi-paradigm, compiled programming language created by Apple Inc. for iOS, OS X, and watchOS development. https://en.wikipedia.org/wiki/Swift_(programming_language)
- 5. Multi-paradigm • Object-oriented programming • Protocol-oriented programming • Functional programming
- 6. 関数型プログラミングの特徴 • コード量が少なくなる • 最適化がしやすい • 並行/並列化がしやすい • バグり/バグらせにくい • ドキュメントが少なくなる 引用元 : 関数プログラミング実践入門 4ページ
- 7. 純粋関数型プログラミング言語 Haskell • 「何をするか」ではなく「何であるか」を伝える • 一度変数の値を設定すると、後でそれを別の値に変更することはできない • 関数は副作用を持たない（参照透明性） • 遅延評価 • 静的型付け言語 • 型推論 • エレガントで簡潔
- 10. sum2([1, 2, 3, 4, 5]) 1 + sum2([2, 3, 4, 5]) 1 + (2 + sum2([3, 4, 5])) 1 + (2 + (3 + sum2([4, 5]))) 1 + (2 + (3 + (4 + sum2([5])))) 1 + (2 + (3 + (4 + (5 + sum2([]))))) 1 + (2 + (3 + (4 + (5 + 0)))) 1 + (2 + (3 + (4 + 5))) 1 + (2 + (3 + 9)) 1 + (2 + 12) 1 + 14 15
- 12. 0 1 2 3 4 50 + 1 -> 1 1 2 3 4 51 + 2 -> 3 3 3 4 53 + 3 -> 6 6 4 56 + 4 -> 10 10 510 + 5 -> 15 15 ・パックマンの初期値 ・パックマンに食わせるコレクション ・パックマンが食った後の新たなacc を指定できるのがreduce
- 13. acc num new acc rest 0 1 0 + 1 -> 1 [2, 3, 4, 5] 1 2 1 + 2 -> 3 [3, 4, 5] 3 3 3 + 3 -> 6 [4, 5] 6 4 6 + 4 -> 10 [5] 10 5 10 + 5 -> 15 []
- 16. varのデメリット var a = 10 様々な処理 let result = function(a) functionに何が渡されるかは ここをすべて読まないと断定できない
- 17. letのメリット let a = 10 様々な処理 let result = function(a) ここだけ読めば、 functionに何が渡されるかが断定できる
- 19. mutating keyword • 構造体を「データの入れ物（状態変化を伴う）」 ではなく、「構造を持つ1個のデータ」と考えて いるっぽい • classはreference typeで状態を持つ。structは value typeで状態を持たない、という扱いをす ると良さそう
- 21. Higher-order function 引用元 : Functional programming in Swift
- 27. 失敗する可能性のある処理を作る
- 31. まとめ • 「何をするか」ではなく「何であるか」を書く • reduceは汎用的に使えるパックマン • 極力letを使って、追いかけやすい（追いかけなく ても良い）コードを目指そう • 高階関数を使えば非常に柔軟に書ける（クラスは部 品の実現方法として大げさな場合がある？） • 失敗する可能性のある処理をそのまま扱えると便利