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 }};
our