本文要总结的内容，就是本次大会嘉宾都提到的一个比较重要的内容，FP，functional programming
在阅读本文时，请记住我们要做一次思维转变，命令式---->声明式
嘉宾是包涵卿，
包涵卿本人讲话我觉得比较逗，他的整个演讲我都听的非常顺利，他自嘲的说自己属于那类理解能力比较差的那种，接受知识比较慢的那种，大神其实就是大神，明明知道得已经比我们多很多，却还是比较谦逊的姿态，很值得我们学习。
首先，他就给我们来了这么一段关于FP的定义，
Functional programming is a programming paradigm
- treats computation as the evaluation of mathematical functions
- avoids changing-state and mutable data
然后就听到了他对于paradigm,curry等词翻译的抨击，确实逗乐了我，比如他大概说了这么一段话，“你给我搞范式就是paradigm，paradigm就是范式，还不如不说”！的的确确，戳中了很多人的痛点，往往开发猫最最讨厌的就是名词解释，有本事，就给直接上图，直接上一个效果，啪啪啪重构一段代码，“劳资”不喜欢所谓的名词解析。
随后，他举了一个例子，使用整形数组初始化一个字符串数组，然后就引出了那么一段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/
网友评论