卓同学的Rac练习题一

一、判断题:
(1)函数式编程是面向对象编程的升级产品

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

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

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

(3)ReactiveCocoa是Facebook出的一个FRP开源库

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

(4)ReactiveCocoa是基于KVO的一个开源库

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

(5)ReactiveCocoa是一个纯函数式编程的库

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

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


卓同学的Rac练习题一_第1张图片

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

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

(2)怎么理解函数式语言中的引用透明?
阮一峰的博客:

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

百科里这么解释:

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

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

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

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

直接用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)

你可能感兴趣的:(卓同学的Rac练习题一)