package Moose::Autobox::Code;
use Moose::Role 'with';
-use autobox;
+use Moose::Autobox;
-our $VERSION = '0.01';
+our $VERSION = '0.02';
with 'Moose::Autobox::Ref';
return sub { $f->(@_) && $f2->(@_) }
}
-1;
\ No newline at end of file
+# fixed point combinators
+
+sub u {
+ my $f = shift;
+ sub { $f->($f, @_) };
+}
+
+sub y {
+ my $f = shift;
+ (sub { my $h = shift; sub { $f->(($h->u)->())->(@_) } }->u)->();
+}
+
+1;
+
+__END__
+
+=pod
+
+=head1 NAME
+
+Moose::Autobox::Code - the Code role
+
+=head1 SYNOPOSIS
+
+ use Moose::Autobox;
+
+ my $adder = sub { $_[0] + $_[1] };
+ my $add_2 = $adder->curry(2);
+
+ $add_2->(2); # returns 4
+
+ # create a recursive subroutine
+ # using the Y combinator
+ *factorial = sub {
+ my $f = shift;
+ sub {
+ my $n = shift;
+ return 1 if $n < 2;
+ return $n * $f->($n - 1);
+ }
+ }->y;
+
+ factorial(10) # returns 3628800
+
+
+=head1 DESCRIPTION
+
+This is a role to describe operations on the Code type.
+
+=head1 METHODS
+
+=over 4
+
+=item B<curry (@values)>
+
+=item B<rcurry (@values)>
+
+=item B<conjoin (\&sub)>
+
+=item B<disjoin (\&sub)>
+
+=item B<compose (@subs)>
+
+This will take a list of C<@subs> and compose them all into a single
+subroutine where the output of one sub will be the input of another.
+
+=item B<y>
+
+This implements the Y combinator.
+
+=item B<u>
+
+This implements the U combinator.
+
+=back
+
+=over 4
+
+=item B<meta>
+
+=back
+
+=head1 SEE ALSO
+
+=over 4
+
+=item L<http://en.wikipedia.org/wiki/Fixed_point_combinator>
+
+=item L<http://blade.nagaokaut.ac.jp/cgi-bin/scat.rb/ruby/ruby-talk/20469>
+
+=back
+
+=head1 BUGS
+
+All complex software has bugs lurking in it, and this module is no
+exception. If you find a bug please either email me, or add the bug
+to cpan-RT.
+
+=head1 AUTHOR
+
+Stevan Little E<lt>stevan@iinteractive.comE<gt>
+
+=head1 COPYRIGHT AND LICENSE
+
+Copyright 2006-2007 by Infinity Interactive, Inc.
+
+L<http://www.iinteractive.com>
+
+This library is free software; you can redistribute it and/or modify
+it under the same terms as Perl itself.
+
+=cut