Perl Monk, Perl Meditation PerlMonks

### Re: Re: Isn't that nice?

by jepri (Parson)
 on Aug 30, 2002 at 14:37 UTC ( #194120=note: print w/replies, xml ) Need Help??

in reply to Re: Isn't that nice?
in thread Isn't that nice?

I'm not sure, but maybe prebinding parameters?

____________________
Jeremy
I didn't believe in evil until I dated it.

Replies are listed 'Best First'.
Re: Re: Re: Isn't that nice?
by frankus (Priest) on Aug 30, 2002 at 15:15 UTC
Forgive the duff syntax, been busy and I can't find an example, I'd have thought the lecture notes would be available online somewhere.., and I can't recall all the details precisely.

```sub divide( \$x, \$y ) {
\$x / \$y
}

sub half assuming divide( \$y=2 )
Uh does that look familiar to anyone?

--

Brother Frankus.

Probably more like:
my &half := &divide.assuming( \$y => 2 )
But that's the general idea.

Larry

Apart from being substantially prettier, is this functionally or efficiently different from

```
my \$half =  sub { \$_[1]=2; goto &divide; };

print \$half->( 120 ),\$/;
__END__
60
?
Well It's better than the Abottoire, but Yorkshire!
It's just currying. The syntax is unique to perl, but the semantics are reasonably common in functional programming languages. The 'new' thing about perl 6's 'assuming' operator is that, according to Damian, it doesn't actually create a new function, but that's not really going to be user visible.

Yes, it looks a little bit like OCaml (i.e. I'm not sure this has never been seen in any other language). :-)

```# let divide ~x ~y = x / y;;
val divide : x:int -> y:int -> int = <fun>
# let half = divide ~y:2;;
val half : x:int -> int = <fun>
# half 120;;
- : int = 60

The mutant offspring of COBOL and ML? You want me to be *familiar* with something like that?!
Is that really going to be in Perl 6 like that?

How is that an improvement over sub half { divide(\$_[0]/2) }; ? Especially when you consider that to write sub half assuming... as shown you have (apparently) to know that divide has a \$y to which to assign 2.

You can create functions with defaults. I don't know about you, but that's an instant winner for me. And you can reduce temporary variables by setting up a function in stages, perhaps by asking the user for the parameters one by one, and then it fires when you have them all filled in. Saves temporary variables and looks neater. Of course you don't need to use this - you can keep writing temporary variables if you really want.

As I understand it, this is another effect of the much repeated 'closures are first class objects'.

____________________
Jeremy
I didn't believe in evil until I dated it.

Create A New User
Node Status?
node history
Node Type: note [id://194120]
help
Chatterbox?
 [Lady_Aleena]: Why does grep(/.*\$in.*/, @my_modules) work but grep { \$_ =~ /.*\$in.*/; \$_ } @my_modules not work? What did I do wrong in the second? [tobyink]: Why are you returning \$_ n your grep block? You should return a boolean. [tobyink]: *in your grep block

How do I use this? | Other CB clients
Other Users?
Others pondering the Monastery: (6)
As of 2017-05-27 07:35 GMT
Sections?
Information?
Find Nodes?
Leftovers?
Voting Booth?
My favorite model of computation is ...

Results (192 votes). Check out past polls.