2013年/10月/23日
我来推导Y combinator
计算机科学的两大难题,第一个是缓存失效,第二个是命名。 以英语为母语的程序员都会觉得命名是个难题,更何况我们这些龙的传人,如果一个程序员的职业生涯没有发现命名的窘迫可能它的程序还写得不够。不知道我们的老子说的名可名,非常名是否能用在这里。 既然命名困难,那么我们就干脆不命名吧,于是我们有了匿名函数,匿名内部类等办法。
在我如何让快速排序一行写完一文中有这样一段代码
{|array| that(array.select(it < array[0])) + [array[0]] + that(array.select(it > array[0]))}.run([3,0,1,2,3,6,7])
我们写了一个函数然后让它立即执行,减少了对这个函数命名的步骤,因为这个快速排序要用递归来实现,那么我怎么在函数没有名字的前提下引用当前函数呢,这就是那个that在起作用,在JavaScript中我们 可以用arguments.callee来引用当前函数以实现递归,可是假如有一种语言没有提供这样的机制从函数内部引用自己,我们怎么实现这个快速排序?或者怎么实现匿名函数递归?
比如,ruby的快速排序,你可以写一个匿名版本吗?
def quicksort a
(pivot = a.pop) ? quicksort(a.select{|i| i < pivot}) + [pivot] + quicksort(a.select{|i| i > pivot}) : []
end
在函数式编程中,函数是可以作为数据来传递的,那么是可以通过某种机制来实现即便语言本身不提供函数内部引用自身也可以实现匿名递归,我们以JS的阶乘函数为例子,来一步一步的推导:
先写一个最普通的写法
var factorial = function(x) {
return x == 0 ? 1 : x * factorial(x-1)
};
factorial(3)
这种递归之所以可行,是因为js全局环境中有一个变量factorial指向了函数,现在我们假设没有这个变量,那么这段程序要执行必须外面传入函数自身,所以代码也很简单,我们用一个单词that表示外部传入的函数自身
var f = function(that,x) {
return x == 0 ? 1 : x * that(that,x-1)
};
//调用的时候必须把自己当作参数传进去
f(f,3)
f(f,4)
f(f,5)
//把函数curry一下我们得到这样一种方式
var f = function(that) {
return function(x) {
return x ==0 ? 1 : x * that(that)(x-1)
}
}
f(f)(3)
f(f)(4)
f(f)(5)
奇迹在出现,如果语言不支持函数内部引用函数自身,我们可以通过把递归变换一种写法,然后就可以顺利的使用递归函数了,比如阶乘函数我们就可以这样写了:
var f = function(gen) {
return function(x) {
return x ==0 ? 1 : x * gen(gen)(x-1)
}
}
var factorial = f(f);
factorial(5)
我把that改成了gen,因为这个时候这个参数表示的是产生函数的意思,递归函数要依赖自己,它又没有名字,那么我们引入一个外层函数来生产递归函数,然后外层函数在调用的时候又把自己放进了递归函数的闭包环境中,这样递归函数 在执行的时候通过gen(gen)又得到了自身,所以就可以完成递归。
我们现在只是在函数内部摆脱了依赖函数名字,可是外部又引入新的名字,比如var f,也就是说我们每写一个递归函数,必须在外部命名另外一个函数,然后把这个函数执行同时传入函数自己作为参数,换汤不换药,我们还是在不断的取名字, 通过观察我们发现每写一种递归都要遵从相同的模式,是不是可以通过写一个工厂函数来来生产呢?假设我们有个函数叫做RecursiveFactory,它负责生产递归函数,参数是正常的但是不能执行的递归版本,比如阶乘我们希望这样写:
var RecursiveFactory = function(inputFunc) {
//返回递归函数
};
RecursiveFactory(
function(that){
return function(x){
return x == 0 ? 1: x * that(x-1)
}
})
也就是说我们只要在RecursiveFactory内部得到递归函数自身,然后把得到的递归函数作为参数调用inputFunc就可以了,但是我们观察到如果要得到自身就必须想办法执行inputFunc,而执行inputFunc又需要传入自身,所以这是一个悖论,不可能从RecursiveFactory 内部返回递归函数自己同时还把递归函数放进闭包环境,计划取消吧! 怎么办?RecursiveFactory必须得返回函数呀,所以我们大胆的设想,既然不能返回递归函数自己我们就返回递归函数的一个代理吧,也就是说真正的递归执行是在代理函数上,递归函数内部调用的不是自己而是代理函数,豁然开朗,通用引入简洁层来简化复杂问题,真的是一个亘古不变的真理。
于是RecursiveFactory的实现就得到了,简单得有点过分
var RecursiveFactory = function(inputFunc) {
var proxy = function(x) {
return inputFunc(proxy)(x)
}
//返回代理函数
return proxy
};
var factorial = RecursiveFactory(function(recurse) {
return function(x) {
return x == 0 ? 1 : x * recurse(x-1);
};
});
还有另外一种推导方法,最后得到的代码比较复杂,它利用到了上面的gen(gen)方式,注意看阶乘的变换模式:
var f = function(that) {
return function(x) {
return x ==0 ? 1 : x * that(that)(x-1)
}
}
//f(f) 就表示RecursiveFactory要返回的结果
通过反curry它等价于如下的写法:
var f = function(that) {
return function(x) {
var baby = function(q,x) {
return x ==0 ? 1 : x * q(x-1)
}
return baby(that(that),x)
}
}
//f(f) 就表示RecursiveFactory要返回的结果
再把里面的baby函数curry化又得到:
var f = function(that) {
return function(x) {
var baby = function(q) {
return function(x){
return x ==0 ? 1 : x * q(x-1)
}
}
return baby(that(that))(x)
}
}
//f(f) 就表示RecursiveFactory要返回的结果
奇迹产生了,变换代码出现了原始函数的样子,其他都是一样的写法,这也就是RecursiveFactory的实现,让我们把它写出来
var RecursiveFactory = function(inputFunc) {
var f = function(that) {
return function(x) {
return inputFunc(that(that))(x)
}
}
return f(f)
}
这个RecursiveFactory便是计算机科学中的Y combinator,也是黑客与画家的作者Paul Graham创建的一个公司。更标准的写法:
var Y = function(f) {
var g = function(h) {
return function(x) {
return f(h(h))(x);
};
};
return g(g);
};
var factorial = Y(function(recurse) {
return function(x) {
return x == 0 ? 1 : x * recurse(x-1);
};
});
factorial(5) // -> 120
不依赖内部名字的写法:
var Y = function(f) {
return (function(g){
return g(g);
})(function(h) {
return function(x) {
return f(h(h))(x);
};
});
};
由于代码中我们有一个x变量,只是因为我们用阶乘来推导的,所以一直用一个参数,其实函数是可以有很多参数的,那么更一般的版本就是把所有参数都要传递给f(h(h))函数,看看ruby的实现吧:
def y(&f)
lambda { |g| g[g] } [
lambda do |h|
lambda { |*args| f[h[h]][*args] }
end
]
end
factorial = y do |recurse|
lambda do |x|
x.zero? ? 1 : x * recurse[x-1]
end
end