Hi,

These identities do not hold:

: 2bi* bi-curry* bi* ;
: 3bi* bi-curry* bi-curry* bi* ;
: 2bi@ curry bi@ ;
: 3bi@ curry curry bi@ ;

Instead,

[ A ] [ B ] bi-curry* bi* == swapd [ A ] [ B ] 2bi*

and

tuck [ A ] 2bi@ == [ A ] curry bi@

So the new combinators can eliminate swapd usages (I've changed two so far).

Slava

------------------------------------------------------------------------------
Create and Deploy Rich Internet Apps outside the browser with Adobe(R)AIR(TM)
software. With Adobe AIR, Ajax developers can use existing skills and code to
build responsive, highly engaging applications that combine the power of local
resources and data with the reach of the web. Download the Adobe AIR SDK and
Ajax docs to start building applications today-http://p.sf.net/sfu/adobe-com
_______________________________________________
Factor-talk mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/factor-talk

Reply via email to