swift开发者大会学习总结(三)

本文要总结的内容,就是本次大会嘉宾都提到的一个比较重要的内容,FP,functional programming
在阅读本文时,请记住我们要做一次思维转变,命令式---->声明式

嘉宾是包涵卿
包涵卿本人讲话我觉得比较逗,他的整个演讲我都听的非常顺利,他自嘲的说自己属于那类理解能力比较差的那种,接受知识比较慢的那种,大神其实就是大神,明明知道得已经比我们多很多,却还是比较谦逊的姿态,很值得我们学习。

首先,他就给我们来了这么一段关于FP的定义,
Functional programming is a programming paradigm

  1. treats computation as the evaluation of mathematical functions
  2. avoids changing-state and mutable data

然后就听到了他对于paradigm,curry等词翻译的抨击,确实逗乐了我,比如他大概说了这么一段话,“你给我搞范式就是paradigmparadigm就是范式,还不如不说”!的的确确,戳中了很多人的痛点,往往开发猫最最讨厌的就是名词解释,有本事,就给直接上图,直接上一个效果,啪啪啪重构一段代码,“劳资”不喜欢所谓的名词解析。

随后,他举了一个例子,使用整形数组初始化一个字符串数组,然后就引出了那么一段for循环的代码,然后就用map给简化了。然后函数他就找到了带我们进入函数式编程世界的最好的切入点,佛家所谓的禅,顺理成章

函数式编程这种范式,他无疑是抽象的,把计算机计算的过程给抽象了,他并没有改变任何的状态

随后也引入了利用多核,这个不改变状态的特性,意味着我们不用关心加锁的问题

几个概念:

curry(柯里化)

打个比方来说,加上有一个函数z=xy,然后你我告诉你x=2,那么现在是不是z=2y了,实际上x=2这个条件让你将整个计算过程进度向前推进了一部分,实际算只计算了一部分而已

curry

monad

老实说在听演讲之前,我根本就不知道monad是什么鬼,即便是听完了,我还是有点懵懂,觉得很神奇,我也去查了一下wiki百科,我看到了这个,然后就明白了monad是什么鬼

单子(monad,也译单体)是函数式编程中的一种抽象数据类型,其特别之处在于,它是用来表示计算而不是数据的。在以函数式风格编写的程序中,单子可以用来组织包含有序操作的过程,或者用来定义任意的控制流(比如处理并发异常延续)。

然后我们看看大神给我们在演讲最后带来的例子,我整理了下,并且丰富了一下,方便我这样的初学者理解:

enum Result<Value> {
    case Failure(ErrorType)
    case Success(Value)

 //假如,我在给这个函数加上注释:解包ResultT,在生成一个新的Result<T>,你是否理解了呢?add 20160303
    func flatMap<T>(@noescape transform: Value throws -> Result<T>) rethrows -> Result<T> {
        switch self {
        case let .Failure(error):
            return .Failure(error)
        case let .Success(value):
            return try transform(value)
        }
    }

  //假如,我在给这个函数加上注释:打包T,变Result<T>,你是否理解了呢?add 20160303
    func map<T>(@noescape transform: Value throws -> T) rethrows -> Result<T> {
        return try flatMap({ (value) -> Result<T> in
                .Success(try transform(value))
        })
    }
}

struct UimageErro: ErrorType {
}

func toImage(data: NSData) -> Result<UIImage> {
    let image = UIImage.init(named: "")
    if image != nil {
        return Result.Success(image!)
    } else {
        let err = UimageErro()
        return Result.Failure(err)
    }
}
func addAlpha(image: UIImage) -> Result<UIImage> {
    let image = UIImage.init(named: "")
    if image != nil {
        return Result.Success(image!)
    } else {
        let err = UimageErro()
        return Result.Failure(err)
    }
}
func roundCorner(image: UIImage) -> Result<UIImage> {
    let image = UIImage.init(named: "")
    if image != nil {
        return Result.Success(image!)
    } else {
        let err = UimageErro()
        return Result.Failure(err)
    }
}
func applyBlur(image: UIImage) -> Result<UIImage> {
    let image = UIImage.init(named: "")
    if image != nil {
        return Result.Success(image!)
    } else {
        let err = UimageErro()
        return Result.Failure(err)
    }
}

toImage(NSData.init())
.flatMap(addAlpha)
.flatMap(roundCorner)
.flatMap(applyBlur)

我也就是象征性的补充了一下,真实的代码中,toImage等函数显然需我们自己去实现。

那么根据大神的介绍,我们限制知道在这个例子中,

enum Result<Value> {
    case Failure(ErrorType)
    case Success(Value)
}

这么一个枚举,实际上,我们就理解为一个monadtype,或者说是单子,我们在给他补充flatmap,map操作,相当于加上一些可以用来组织包含有序操作的过程
那么,这就是函数式编程吗,NO,远远不够,我们光理解是不行的,还需要非常多的练习,去熟练这种抽象计算过程的思维方式。

参考阅读

关于curried function,参考以下链接
https://robots.thoughtbot.com/introduction-to-function-currying-in-swift
以及 https://segmentfault.com/a/1190000004340919
以及猫神的 http://swifter.tips/currying/

在加一篇:不读一定后悔哦~
http://jiyinyiyong.github.io/monads-in-pictures/

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

推荐阅读更多精彩内容