卓同学的Rac练习题一

一、判断题：
（1）函数式编程是面向对象编程的升级产品

错。这是两种完全不同的编程范式，没有直接联系。

（2）组成链式调用的必要条件就是在方法里面返回对象自己

错，只要返回的是同一个类型的对象就可以，未必要是自己。

（3）ReactiveCocoa是Facebook出的一个FRP开源库

错。不是fb公司的项目，来自github团队。

（4）ReactiveCocoa是基于KVO的一个开源库

错。虽然有些信号的产生来自kvo，但是有些不是。

（5）ReactiveCocoa是一个纯函数式编程的库

错。rac不全是函数式编程，它更多的设计目标是响应式编程。

（5）下面的函数由于有赋值所以不是一个纯函数

虽然有赋值，但是每次固定输入都能得到固定的输出，并且没有改变外部的状态，是纯函数。

二、问答题：
（1）Pull-driver和Push-driver的区别？
想到了master，slave这个经典的场景。一个黑心的老板有5个程序员，这里有100个需求。每个程序员完成后，告诉老板说我做完了，再来一个需求。这就是pull driver，接收方主动来拿。如果老板不管这个人忙不忙，需求来了就直接分配给某个程序员，这就是push driver，源直接推送给某个接收方。

（2）怎么理解函数式语言中的引用透明？
阮一峰的博客：

引用透明（Referential transparency），指的是函数的运行不依赖于外部变量或"状态"，只依赖于输入的参数，任何时候只要参数相同，引用函数所得到的返回值总是相同的。

百科里这么解释：

引用透明（Referential Transparent）的概念与函数的副作用相关，且受其影响。如果程序中任意两处具有相同输入值的函数调用能够互相置换，而不影响程序的动作，那么该程序就具有引用透明性。它的优点是比非引用透明的语言的语义更容易理解，不那么晦涩。纯函数式语言没有变量，所以它们都具有引用透明性。

我的理解是这个函数只处理了输入的值，没有改变外部的其他变量的状态，不会产生副作用。

（3）函数式语言主张不变量的原因是什么？
不可变性首先解决了线程安全的问题。
其次通过声明区分可变和不可变性降低了复杂度。我们可以更加关注变化的value，增加了一种语义。当我们看到一个值声明是可变的，我们会知道这个值在后面的代码中会被赋值。

三、编程题：
（1）基于变量不可变（任何变量不允许二次赋值）来实现一个计算最大值的函数，定义如下
<code>int max(int *array, int count) </code>

直接用swift写了，这个count参数理解为前多少个数里的最大值：

func maxNumbers(array:[Int],count:Int) -> Int {
    if count==2 {
        return biggerNumber(array[0], y: array[1])
    }else{
        let lastNumber=array[count-1]
        return biggerNumber(lastNumber, y: maxNumbers(array, count: count-1))
    }
}

func biggerNumber(x:Int,y:Int) -> Int {
    return x>y ? x:y
}

//test case
let nubmers=[1,4,23,56,2]
let result = maxNumbers(nubmers, count: 5)

（2）自由发挥写一个高阶函数应用的例子，要求必须有返回函数的部分
写了一个获取两个数计算的方法工厂：

func calulatorFactory(operatorIdentifer:String) -> (Int,Int)->Int {
    switch operatorIdentifer {
    case "*":
        return { x,y in
            return x*y
        }
    default:
        return {x,y in
            return x+y
        }
    }
}

//test case
let multipyFunc=calulatorFactory("*")
let calResult=multipyFunc(3,5)