25-函數(shù)式編程

Array的常見操作

var arr = [1, 2, 3, 4]
// [2, 4, 6, 8]
var arr2 = arr.map { $0 * 2 }
// [2, 4]
var arr3 = arr.filter { $0 % 2 == 0 } 
// 10
var arr4 = arr.reduce(0) { $0 + $1 } 
// 10
var arr5 = arr.reduce(0, +) 

func double(_ i: Int) -> Int { i * 2 } 
var arr = [1, 2, 3, 4]
// [2, 4, 6, 8] 
print(arr.map(double)) 

var arr = [1, 2, 3]
// [[1], [2, 2], [3, 3, 3]]
var arr2 = arr.map { Array.init(repeating: $0, count: $0) }
// [1, 2, 2, 3, 3, 3]
var arr3 = arr.flatMap { Array.init(repeating: $0, count: $0) } 

var arr = ["123", "test", "jack", "-30"] 
// [Optional(123), nil, nil, Optional(-30)] 
var arr2 = arr.map { Int($0) }
// [123, -30]
var arr3 = arr.compactMap { Int($0) } 

// 使用reduce實(shí)現(xiàn)map、filter的功能 
var arr = [1, 2, 3, 4]
// [2, 4, 6, 8]
print(arr.map { $0 * 2 }) 
print(arr.reduce([]) { $0 + [$1 * 2] }) 

// [2, 4]                                                  
print(arr.filter { $0 % 2 == 0 })
print(arr.reduce([]) { $1 % 2 == 0 ? $0 + [$1] : $0 })

lazy的優(yōu)化

let arr = [1, 2, 3]
let result = arr.lazy.map {
    (i: Int) -> Int in
    print("mapping \(i)")
    return i * 2
}
print("begin-----")
print("mapped", result[0])
print("mapped", result[1])
print("mapped", result[2])
print("end----")

begin-----
mapping 1
mapped 2
mapping 2
mapped 4
mapping 3
mapped 6
end----

Optional的map和flatMap

var num1: Int? = 10
// Optional(20)
var num2 = num1.map { $0 * 2 } 

var num3: Int? = nil
// nil
var num4 = num3.map { $0 * 2 } 

var num1: Int? = 10
// Optional(Optional(20))
var num2 = num1.map { Optional.some($0 * 2) }
// Optional(20)
var num3 = num1.flatMap { Optional.some($0 * 2) } 

var num1: Int? = 10
var num2 = (num1 != nil) ? (num1! + 10) : nil 
var num3 = num1.map { $0 + 10 }
// num2、num3是等價(jià)的                               

var fmt = DateFormatter()
fmt.dateFormat = "yyyy-MM-dd"
var str: String? = "2011-09-10"
// old
var date1 = str != nil ? fmt.date(from: str!) : nil // new
var date2 = str.flatMap(fmt.date) 

var score: Int? = 98
// old
var str1 = score != nil ? "socre is \(score!)" : "No score" 
// new
var str2 = score.map { "score is \($0)" } ?? "No score"

Optional的map和flatMap

struct Person {
    var name: String
    var age: Int                                         
}

var items = [                                                  
    Person(name: "jack", age: 20), 
    Person(name: "rose", age: 21), 
    Person(name: "kate", age: 22)                                              
] 

// old                                
func getPerson1(_ name: String) -> Person? {
     let index = items.firstIndex { $0.name == name } 
     return index != nil ? items[index!] : nil                                             
} 

// new                                    
func getPerson2(_ name: String) -> Person? {
    return items.firstIndex { $0.name == name }.map { items[$0] }                                              
}

Optional的map和flatMap

struct Person {
  var name: String
  var age: Int
  init?(_ json: [String : Any]) {                                                
       guard let name = json["name"] as? String, let age = json["age"] as? Int else { 
            return nil 
       }
       self.name = name
       self.age = age                                          
   } 
} 

var json: Dictionary? = ["name" : "Jack", "age" : 10] 
// old
var p1 = json != nil ? Person(json!) : nil
// new                                                  
var p2 = json.flatMap(Person.init)

函數(shù)式編程(Funtional Programming)

  • 函數(shù)式編程(Funtional Programming，簡(jiǎn)稱FP)是一種編程范式，也就是如何編寫程序的方法論

  • 主要思想:把計(jì)算過程盡量分解成一系列可復(fù)用函數(shù)的調(diào)用

  • 主要特征:函數(shù)是“第一等公民”

    • 函數(shù)與其他數(shù)據(jù)類型一樣的地位，可以賦值給其他變量，也可以作為函數(shù)參數(shù)、函數(shù)返回值

  • 函數(shù)式編程最早出現(xiàn)在LISP語(yǔ)言，絕大部分的現(xiàn)代編程語(yǔ)言也對(duì)函數(shù)式編程做了不同程度的支持，比如

    • Haskell、JavaScript、Python、Swift、Kotlin、Scala等

  • 函數(shù)式編程中幾個(gè)常用的概念

    • Higher-Order Function、Function Currying

    • Functor、Applicative Functor、Monad

  • 參考資料

FP 實(shí)踐 – 傳統(tǒng)寫法 

// 假設(shè)要實(shí)現(xiàn)以下功能:[(num + 3) * 5 - 1] % 10 / 2 
var num = 1 

func add(_ v1: Int, _ v2: Int) -> Int { v1 + v2 }
func sub(_ v1: Int, _ v2: Int) -> Int { v1 - v2 }
func multiple(_ v1: Int, _ v2: Int) -> Int { v1 * v2 }
func divide(_ v1: Int, _ v2: Int) -> Int { v1 / v2 }
func mod(_ v1: Int, _ v2: Int) -> Int { v1 % v2 }

divide(mod(sub(multiple(add(num, 3), 5), 1), 10), 2)

FP 實(shí)踐 – 函數(shù)式寫法 

func add(_ v: Int) -> (Int) -> Int { { $0 + v } }
func sub(_ v: Int) -> (Int) -> Int { { $0 - v } }
func multiple(_ v: Int) -> (Int) -> Int { { $0 * v } }
func divide(_ v: Int) -> (Int) -> Int { { $0 / v } }
func mod(_ v: Int) -> (Int) -> Int { { $0 % v } }

infix operator >>> : AdditionPrecedence
func >>><A, B, C>(_ f1: @escaping (A) -> B,
                  _ f2: @escaping (B) -> C) -> (A) -> C { { f2(f1($0)) } }

var fn = add(3) >>> multiple(5) >>> sub(1) >>> mod(10) >>> divide(2)
fn(num)

高階函數(shù)(Higher-Order Function)

  • 高階函數(shù)是至少滿足下列一個(gè)條件的函數(shù):

    • 接受一個(gè)或多個(gè)函數(shù)作為輸入(map、filter、reduce等)

    • 返回一個(gè)函數(shù)

  • FP中到處都是高階函數(shù)

func add(_ v: Int) -> (Int) -> Int { { $0 + v } }

柯里化(Currying)

  • 什么是柯里化?

  • 將一個(gè)接受多參數(shù)的函數(shù)變換為一系列只接受單個(gè)參數(shù)的函數(shù)

image.png
  • Array、Optional的map方法接收的參數(shù)就是一個(gè)柯里化函數(shù)

柯里化(Currying)

func add1(_ v1: Int, _ v2: Int) -> Int { v1 + v2 }
func add2(_ v1: Int, _ v2: Int, _ v3: Int) -> Int { v1 + v2 + v3 }

func currying<A, B, C>(_ fn: @escaping (A, B) -> C)
    -> (B) -> (A) -> C {
    { b in { a in fn(a, b) } }                                                 
} 

func currying<A, B, C, D>(_ fn: @escaping (A, B, C) -> D)
    -> (C) -> (B) -> (A) -> D {
    { c in { b in { a in fn(a, b, c) } } }                                                 
} 

let curriedAdd1 = currying(add1)
print(curriedAdd1(10)(20))
let curriedAdd2 = currying(add2)
print(curriedAdd2(10)(20)(30))

柯里化(Currying)

func add(_ v1: Int, _ v2: Int) -> Int { v1 + v2 }
func sub(_ v1: Int, _ v2: Int) -> Int { v1 - v2 }
func multiple(_ v1: Int, _ v2: Int) -> Int { v1 * v2 }
func divide(_ v1: Int, _ v2: Int) -> Int { v1 / v2 }
func mod(_ v1: Int, _ v2: Int) -> Int { v1 % v2 }

prefix func ~<A, B, C>(_ fn: @escaping (A, B) -> C)
    -> (B) -> (A) -> C { { b in { a in fn(a, b) } } }

infix operator >>> : AdditionPrecedence
func >>><A, B, C>(_ f1: @escaping (A) -> B,
                  _ f2: @escaping (B) -> C) -> (A) -> C { { f2(f1($0)) } }

var num = 1
var fn = (~add)(3) >>> (~multiple)(5) >>> (~sub)(1) >>> (~mod)(10) >>> (~divide)(2)
fn(num)

函子(Functor)

  • 像Array、Optional這樣支持map運(yùn)算的類型，稱為函子(Functor)
// Array<Element> 
public func map<T>(_ transform: (Element) -> T) -> Array<T>

// Optional<Wrapped>
public func map<U>(_ transform: (Wrapped) -> U) -> Optional<U>

函子(Functor)

image.png

適用函子(Applicative Functor)

  • 對(duì)任意一個(gè)函子 F，如果能支持以下運(yùn)算，該函子就是一個(gè)適用函子
func pure<A>(_ value: A) -> F<A>                                                  
func <*><A, B>(fn: F<(A) -> B>, value: F<A>) -> F<B>
  • Optional可以成為適用函子
func pure<A>(_ value: A) -> A? { value }
infix operator <*> : AdditionPrecedence
func <*><A, B>(fn: ((A) -> B)?, value: A?) -> B? {
   guard let f = fn, let v = value else { return nil }                                            
   return f(v) 
} 

var value: Int? = 10
var fn: ((Int) -> Int)? = { $0 * 2}
// Optional(20)
print(fn <*> value as Any)
image.png

適用函子(Applicative Functor)

  • Array可以成為適用函子
func pure<A>(_ value: A) -> [A] { [value] }
func <*><A, B>(fn: [(A) -> B], value: [A]) -> [B] { 
    var arr: [B] = []
    if fn.count == value.count {                                                 
        for i in fn.startIndex..<fn.endIndex {
            arr.append(fn[i](value[i]))          
        } 
    }                                             
    return arr 
} 

// [10] 
print(pure(10))

var arr = [{ $0 * 2}, { $0 + 10 }, { $0 - 5 }] <*> [1, 2, 3] 
// [2, 12, -2]
print(arr)

單子(Monad)

  • 對(duì)任意一個(gè)類型 F，如果能支持以下運(yùn)算，那么就可以稱為是一個(gè)單子(Monad)
func pure<A>(_ value: A) -> F<A>                                                  
func flatMap<A, B>(_ value: F<A>, _ fn: (A) -> F<B>) -> F<B>
  • 很顯然，Array、Optional都是單子
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者
【社區(qū)內(nèi)容提示】社區(qū)部分內(nèi)容疑似由AI輔助生成，瀏覽時(shí)請(qǐng)結(jié)合常識(shí)與多方信息審慎甄別。
平臺(tái)聲明：文章內(nèi)容（如有圖片或視頻亦包括在內(nèi)）由作者上傳并發(fā)布，文章內(nèi)容僅代表作者本人觀點(diǎn)，簡(jiǎn)書系信息發(fā)布平臺(tái)，僅提供信息存儲(chǔ)服務(wù)。

相關(guān)閱讀更多精彩內(nèi)容

友情鏈接更多精彩內(nèi)容