![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)
厂飞颈蹿迟て?の関数型フ?ロク?ラミンク?について考えていること
- 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を使って、追いかけやすい（追いかけなく ても良い）コードを目指そう ? 高階関数を使えば非常に柔軟に書ける（クラスは部 品の実現方法として大げさな場合がある？） ? 失敗する可能性のある処理をそのまま扱えると便利