Aristotle wrote a good journal entry about the Y-combinator here. But it really made me ask:

                            sub{        my($f        )=@_ ;sub{
                             my(        $x)         =@_     ;$f
                              ->(       sub         {$x    ->($x
                               )->     (@_)           })   }->(
                                sub   {my(                $y)=
                                 @_; $f->               (sub
                                  {$y->                 ($y)
                                 ->(@_                  )})}
                                )}->                    (sub
                               {my(                     $r)=
                              @_;                       sub{
                             my$l                       =pop
                            @_;                         print
                          "$l";                         if($#_
                         <0){
       print$/;return;}$r->(                            @_);}
})->(qw(r o t a n i b m o c                             - Y));
[download]

I find the code more interesting than the art...