Y-Combinator=Linker

http://d.hatena.ne.jp/kilrey/20090505#p1を書いて得心したのだけど、Y-Combinatorってリンカなのね。

(define p0
  (lambda (f0 f1)
    (lambda (n)
      (if (zero? n)
          1
          (+ n (f1 (- n 1)))))))

だったら(f0 f1)が環境で、(lambda (n)〜)がオブジェクト。YYが環境とオブジェクトをリンクして関数＝機能が出来上がる、と。
Paul GrahamのY-Combinatorってそういう含意でつけた名前なのかな。