Swift -- 函数式编程(Funtional Programming)

Array的常见操作

var arr1 = [1,2,3,4]
var arr2 = arr1.map{ $0 * 2}
//2 4 6 8 遍历数组元素,按照后边的计算之后把数据放到新的数组中去
var arr3 = arr1.filter{ $0 % 2 == 0 }
//2 4 遍历数组元素,满足条件的会放到新的数组中去,用来过滤的
var arr4 = arr1.reduce(0) {$0 + $1}//10
//遍历所有的元素,用0去加所有的元素
//$0 上一次遍历返回的结果(初始值是0)
//$1 每次遍历到的数组元素

var arr5 = arr1.reduce (0, +)//10

lazy的优化

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
var num2 = num1.map { $0 * 2}//Optional(20)
var num3:Int? = nil
var num4 = num3.map{ $0 * 2}//nil
可选项如果有值,则直接解包,然后进行大括号里边的操作,然后可选项赋值给新的变量,如果为nil则直接返回nil
var num1:Int? = 10
var num2 = num1.map{ Optional.some($0 * 2)}//Optional(Optional(20))
var num3 = num1.flatMap{ Optional.some($0 * 2)}//Optional(20)
Optional.some($0 * 2)}是Optional(20),.map会再给外边包装一层Optional,而flatMap识别到有一层Optional了就不会再包一层Optional
var num1:Int? = 10
var num2 = (num1 != nil) ? (num1! + 10) : nil
var num3 = num1.map{ $0 + 10}
//num2和num3是等价的
var fmt = DateFormatter()
fmt.dateFormat = "yyyy-MM-dd"
var str:String? = "2011-09-10"
var date1 = str != nil ? fmt.date(from: str!) : nil
var date2 = str.flatMap(fmt.date)
var score:Int? = 98
var str1 = score != nil ? "score is \(score!)" : "No score"
var str2 = score.map{"score is \($0)"} ?? "No score"

补充知识点:
对于options,如果是多个参数,在oc写法中是用|符号,在swift中会报错,要用数组传值,
swift:

class Person:NSObject{
      func run(){
           addObserver(self, forKeyPath: "age", options: [.new,.old], context: nil)
      }
}

oc:

 [self.marqueeLabel addObserver:self
                        forKeyPath:@"attributedText"
                           options:NSKeyValueObservingOptionNew | NSKeyValueObservingOptionOld
                           context:nil
     ];

函数式编程

  • 函数式编程(Funtional Programming,简称FP)是一种编程范式,也就是如何编写程序的方法论
    - 主要思想:把计算过程尽量分解成一系列可复用函数的调用
    - 主要特征:函数是“第一等公民”(函数与其他数据类型一样的地位,可以赋值给其他变量,也可以作为函数参数、函数返回值)
  • 函数式编程最早出现在LISP语言,绝大部分的现代编程语言也对函数式编程做了不同程度的支持,比如Haskell、JavaScript、Python、Swift、Kotlin、Scala等
  • 函数式编程中几个常用的概念
    - Higher-Order Function、Function Currying
    - Functor、Applicative Functor、Monad
  • 参考资料
    - https://adit.io/posts/2013-04-17-functors,_applicatives,_and_monads_in_pictures.html
    - https://mokacoding.com/blog/functor-applicative-monads-in-pictures/

FP实践 - 传统写法

//假设要实现以下功能:[(num + 3) * 5 - 1] % 10 / 2
var num = 1
divide(mod(sub(multiple(add(num, 3), 5), 1), 10), 2)

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 }

FP实践 - 函数式写法

高阶函数(Higher-Order Function)

  • 高阶函数是至少满足下列一个条件的函数:
    - 接受一个或多个函数作为输入(map、filter、reduce等)
    - 返回一个函数
  • FP中到处都是高阶函数

柯里化(Currying)

什么是柯里化?

Q:将一个接受多参数的函数变换为一系列只接受单个参数的函数

  • Array、Optional的map方法接收的参数就是一个柯里化函数

函子(Functor)

  • 像Array、Optional这样支持map运算的类型,称为函子(Functor)
//Array<Element>
public func map<T>(_ transform: (Element) -> T) -> Array<T>

//Optional<Wrapped>
public func map<U>(_ transform: (Wrapped) -> U) -> Optional<U>
怎么样的Type才能称之为是函子(Functor)?
func map<T>(_ fn: (Inner) -> T) -> Type<T>

适用函子(Applicative Functor)

  • 对任意一个函子F,如果能支持以下运算,该函子就是一个适用函子
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)
}
  • 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)

  • 对任意一个类型F,如果能支持以下运算,那么就可以称为是一个单子(Monad)
func pure<A>(_ value: A) -> F<A>
func flatMap<A,B>(_ value: F<A>, _ fn: (A) -> F<B>) -> F<B>
  • 很显然,Array、Optional都是单子
最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 206,013评论 6 481
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 88,205评论 2 382
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 152,370评论 0 342
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 55,168评论 1 278
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 64,153评论 5 371
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,954评论 1 283
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,271评论 3 399
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,916评论 0 259
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 43,382评论 1 300
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,877评论 2 323
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,989评论 1 333
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,624评论 4 322
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,209评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,199评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,418评论 1 260
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 45,401评论 2 352
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,700评论 2 345

推荐阅读更多精彩内容