端端舝

Swi$卞方月
憝杅倰皿伕弘仿立件弘
閉⻌嬡
2015爛11堎14゜
枘掛奾堊 / Cocoa辭�頗(憝𡌂) #75
1

赻撩畿賡
? 枘掛奾堊 (@%isa)
? h+ps://github.com/%isa
? 白伉奈仿件旦皿伕弘仿穴奈
? RubyCocoa白伊奈丞伐奈弁埻釬氪
? Mac嶱逃窃﹜情仁墿仁廣25爛
? iOS嶱逃窃﹜廣1爛
2

失斥尼件母
? 宎戶卞
? 駙睿?駙�\
? 駙睿?駙�\及喲砓趙
? SequenceType皿伕玄戊伙
? 憝杅倰皿伕弘仿立件弘午反
? 引午戶
3

宎戶卞
? 憝杅倰皿伕弘仿立件弘1
勻化方仁�仁仃升睡公木ˋ
? C晟惤卞反憝杅互丐月井日憝杅倰皿伕弘仿立件弘
互匹五月及ˋ
? map 午井 reduce 勻化睡ˋ升丹支勻化妏丹及ˋ
仇及方丹卅蕾切弇离及�毛砑隅仄化﹜憝杅倰皿伕弘
仿立件弘餫及蕉尹源及珨傷毛畿賡仄引允﹝
1
荎惤匹 Fanc%onal Programming 午中中引允﹝傻窺仄化 FP 午網壬木化中引允﹝
4

宎戶卞
佌赻旯反﹜惤木月幻升FP毛燴賤仄化中月歹仃匹反丐
曰引六氏﹝凶分仄﹜眕ゴ赻煦匹手公木午𠸎葆井內卞
FP毛悝氏分仇午互丐曰引允﹝
公及磊歠毛手午卞逃桶及�傖毛蕉尹引仄凶﹝
5

駙睿?駙�\
func sum(n: Int) -> Int {
var accumulator = 0
for i in 1...n { accumulator += i }
return accumulator
}
func prod(n: Int) -> Int {
var accumulator = 1
for i in 1...n { accumulator *= i }
return accumulator
}
伙奈皿午測⻌毛妏勻凶忒適五腔卅皿伕弘仿丞
8

駙睿?駙�\
return n == 0 ? 0 : n + sum(n - 1)
}
return n == 0 ? 1 : n * prod(n - 1)
}
婬䔝網堤毛妏勻凶FP及眅曰⑸丹皿伕弘仿丞
10

駙睿 (楓俋�)
布它旦(苤ㄢ)卞方月駙睿及皿伕弘仿丞:
return n * (n + 1) / 2
}
駙睿卞勾中化反布它旦及源楊互敪中支曰源分互﹜駙
�\尺及𡛟蚚反嗣煦五井卅中﹝
11

駙睿?駙�\及喲砓趙
ㄡ勾及憝杅及侔化中月萸?綃丹萸毛抻仄化心方丹:
return n == 0 ? 0 : n + sum(n - 1)
}
return n == 0 ? 1 : n * prod(n - 1)
}
13

ㄡ勾及憝杅及綃丹萸:
? n==0及午五﹜ゴ氪反0毛殿仄摽氪反1毛殿允
? n!=0及午五﹜ゴ氪反逋仄呾匹摽氪反𨩆仃呾
14

啋及竘杅n卞樓尹化﹜駙睿?駙�\匹綃丹眕狟及ㄡ萸:
? n==0及午五及� (場ヽ�)
? n!=0及午五及�呾 (憝杅)
毛竘杅卞允木壬﹜肮元由正奈件及�呾卞妏尹月方曰
𡘙蚚腔卅憝杅互堤懂奻互月反內匹允﹝
15

typealias IntCombinator = (Int, Int) -> Int
func reduce(n: Int, initial: Int, combine: IntCombinator) -> Int
{
if n == 0 {
return initial
} else {
return combine(
n,
reduce(n - 1, initial: initial, combine: combine))
}
}
駙睿?駙�\及由正奈件毛喲砓趙仄凶憝杅 reduce
16

憝杅reduce毛妏勻化駙睿?駙�\毛�呾仄化心方丹:
// 孔凶勾及淕杅及睿呾?�\呾毛允月憝杅毛隅膽
func add2(n: Int, m: Int) -> Int { return n + m }
func mul2(n: Int, m: Int) -> Int { return n * m }
reduce(10, initial: 0, combine: add2)
reduce(10, initial: 1, combine: mul2)
17

憝杅reduce毛妏勻化駙睿?駙�\毛�呾仄化心方丹(2):
// 剠靡憝杅(憝杅伉氾仿伙)毛眻諉傾允
reduce(10, initial: 0, combine: { $0 + $1 })
reduce(10, initial: 1, combine: { $0 * $1 })
// Ruby餫扑件正永弁旦扑亙布奈
reduce(10, initial: 0) { $0 + $1 }
reduce(10, initial: 1) { $0 * $1 }
18

Swi$匹反 + 支 - 手憝杅卅及匹竘杅卞傾六引允:
// 乒母件卅憝杅倰皿伕弘仿立件弘餫
reduce(10, initial: 0, combine: +)
reduce(10, initial: 1, combine: *)
add2 支 mul2 及方丹卅憝杅毛隅膽允月斛猁反丐曰引
六氏匹仄凶﹝
19

仇仇引匹﹜憝杅 reduce 及隅膽卞中凶月耋踐毛尨允
仇午匹﹜憝杅倰皿伕弘仿立件弘及蕉尹源及芩怢毛�
�g卞畿賡仄引仄凶﹝
踏隙反﹜憝杅毛竘杅卞午月憝杅毛觳第卞仄引仄凶
互﹜憝杅毛殿允憝杅毛妏勻凶皿伕弘仿立件弘卅升今
日卞兜旮中岍賜互湔婓仄化中引允﹝
20

SequenceType皿伕玄戊伙
21

for item in collection {
statements
}
Swi$及 For-In�恅匹反﹜靜曰殿仄及�砓午卅月
collection 互 SequenceType 皿伕玄戊伙卞羥磁
仄化中月斛猁互丐曰引允﹝
22

測桶腔卅奶件旦正件旦丟末永玉:
? filter
? map
? reduce
? sort
23

filter
竘杅匹迵尹日木凶憝杅匹跪item毛捼屯﹜true毛殿
仄凶item及心卞方月饜蹈毛殿仄引允﹝
(1...10).filter { $0 % 2 == 0 } // => [2, 4, 6, 8, 10]
(1...10).filter { $0 % 2 != 0 } // => [1, 3, 5, 7, 9]
24

map
杅悝匹迡砉(mapping)午網壬木化中月手及卞眈絞仄引
允﹝跪item卞憝杅毛羥蚚仄凶磐彆及饜蹈毛殿仄引
允﹝
(1...5).map { $0 * 2 } // => [2, 4, 6, 8, 10]
(1...5).map { String($0) } // => ["1", "2", "3", "4", "5"]
(1...5).map(String.init) // => ["1", "2", "3", "4", "5"]
25

reduce
政灍腔?𡘙蚚腔卅掛昜及reduce匹允23
﹝
(1...10).reduce(0, combine: +) // Swift腔卅駙睿及�呾
(1...10).reduce(1, combine: *) // Swift腔卅駙�\及�呾
["aa", "bb", "cc"].reduce("") { "($0)/($1)" }
// => "/aa/bb/cc"
3
晟惤卞方勻化反 inject (Ruby, Smalltalk卅升) 支 fold (Haskell卅升) 午網壬木化中引允﹝
2
SequenceType匹反item及倰手劐杅卅及匹﹜Int倰卞癹隅六內㜳丹仇午互匹五引允﹝
26

sort
item毛掀廌憝杅匹�K屯劐尹凶饜蹈毛殿仄引允﹝item
互Comparable皿伕玄戊伙卞羥磁仄化中月�磁反﹜
掀廌憝杅毛吽謹匹五引允﹝
[5,4,3,2,1].sort() // => [1, 2, 3, 4, 5]
(1...5).sort(>) // => [5, 4, 3, 2, 1]
27

棒及方丹卅Person午靡移互隅膽今木化中月午仄引允:
struct Person {
let name: String
let age: Int
let sex: Sex
enum Sex { case Male, Female, Others }
}
let BABYMETAL: [Person] = [
Person(name: "笢啋允內眅", age: 17, sex: .Female),
Person(name: "擅華郔霛", age: 16, sex: .Female),
Person(name: "阨珧蚕磐", age: 16, sex: .Female),
Person(name: "ヤ刓荎䀝", age: 29, sex: .Male),
Person(name: "BOH", age: 33, sex: .Male),
Person(name: "湮游苠槽", age: 31, sex: .Male),
Person(name: "枘𠈹聡湮", age: 34, sex: .Male),
]
28

//: BABYMETAL躓赽及靡ゴ
BABYMETAL
.filter { $0.sex == .Female }
.map { $0.name }
//: BABYMETAL��T及ⅸ歙爛溵
Float(BABYMETAL
.map { $0.age }
.reduce(0, combine: +)) / Float(BABYMETAL.count)
29

憝杅倰皿伕弘仿立件弘午反
30

Swi$及杻釾4
:
? 憝杅互白央奈旦玄弁仿旦左皮斥尼弁玄
? 憝杅毛竘杅支殿曰�午仄化㜳尹月
? 憝杅午癶籵及劐杅及靡ゴ諾嶲互珨髯
4
JavaScript 反仇及杻釾毛厥勾皿伕弘仿立件弘晟惤及測桶瞰
31

測⻌毛妏歹卅中癹曰﹜肮元竘杅卞方月肮元忒適五及
網太堤仄反ㄡ隙啐�仄化手肮元磐彆卞卅月及匹﹜忒
適五反杅悝憝杅及�呾午心卅允仇午互匹五月＃引勻
凶仁測⻌毛妏歹卅中皿伕弘仿立件弘反﹜公及凶戶憝
杅倰皿伕弘仿立件弘(func%onal programming)午網壬木
化中月﹝
〞 Structure and Interpreta%on of Computer Programs
(淩�粽妢゜掛惤偈唳) 方曰
32

☆�呾辻皿伕弘仿丞及�婖午賤�★(籵備SICP):
1. 忒適五毛蚚中凶喲砓趙及�慷 (詢蕆憝杅)
2. 犯奈正毛蚚中凶喲砓趙及�慷 (犯奈正�婖)
3. 乒斥亙奈伙俶﹜左皮斥尼弁玄﹜袨颷 (測⻌場腎�)
4. 丟正晟惤喲砓趙 (皿伕弘仿立件弘晟惤及灍蚾)
5. 伊斥旦正穴扑件卞方月�呾 (CPU?戊件由奶仿)
33

引午戶
Swi$反忒適五倰皿伕弘仿立件弘午憝杅倰皿伕弘仿立
件弘及邧源及丟伉永玄毛瞳蚚匹五月田仿件旦及謎中
晟惤匹允﹝湮中卞魂蚚仄引仄斤丹ㄐ
34

統蕉恅瓬
? Structure and Interpreta.on of Computer Programs
(SICP) 淩�粽妢゜掛惤偈唳
? The Swi< Programming Language (Swi< 2.1)
? Swi< Standard Library Reference
35

Thank you!2015爛11堎14゜
枘掛奾堊 / Cocoa辭�頗(憝𡌂) #75
36

端端舝

釦滄勳款喧卞方月憝杅倰白?伕弁?仿立件弁?閉⻌藷

More Related Content

What's hot (20)

Viewers also liked (8)

Similar to 釦滄勳款喧卞方月憝杅倰白?伕弁?仿立件弁?閉⻌藷 (20)

釦滄勳款喧卞方月憝杅倰白?伕弁?仿立件弁?閉⻌藷