On Mon, Sep 05, 2005 at 12:35:36PM +0900, Dan Kogai wrote:
And I found that these can be made much, much simpler and more
intuitive with Perl 6, even more so than scheme!
our $ZERO = sub($f){ sub($x){ $x }};
our $SUCC = sub($n){ sub($f){ sub($x){ $f.($n.($f)($x)) }}};
our $ADD =
Folks,
I recently needed to write a series of codes on lambda calculus in
perl. As MJD has shown Perl 5 can handle lambda calculus but I am
beginning to get tired of whole bunch of 'my $x = shift' needed.
our $ZERO =
sub { my $f = shift;
sub { my $x = shift; $x }};