一、判断题:
(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)基于变量不可变(任何变量不允许二次赋值)来实现一个计算最大值的函数,定义如下
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)