Hello,

The curry* word implements "partial application on the left". However, this is 
a correct description only if the word has two inputs. I've mostly seen 
partial application of the left variety. For example, if you have a 
function 'f' with five parameters:

        f a b c d e

then partial application of f to 10 yields a function of four parameters:

        f 10 b c d e

So it's "left application" because the parameters get replaced from left to 
right. Our curry* word, if given the same f and 10 would yield:

        f a b c 10 e

So it's more like "partial application on the over". :-)

Our curry word does "right partial application". Here's an implementation of 
real left partial application.

: papply-left ( quot obj -- quot )
  over infer effect-in [ -nrot ] 2curry swap append ;

Ed

PS: I like to use factor-talk as a forum for us to discuss our ideas on 
Factor. However, if most of you object to that, then let me know and I won't 
post the brainstormy type emails here; I'm democratic like that. :-) So far, 
only one person has been vocal about this; Daniel Ehrenberg would like me to 
get a blog instead. Sorry, I'm not getting a blog.

-------------------------------------------------------------------------
This SF.net email is sponsored by: Splunk Inc.
Still grepping through log files to find problems?  Stop.
Now Search log events and configuration files using AJAX and a browser.
Download your FREE copy of Splunk now >>  http://get.splunk.com/
_______________________________________________
Factor-talk mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/factor-talk

Reply via email to