Paste: combinator example
Author: | slava |
Mode: | factor |
Date: | Fri, 29 Jan 2010 16:48:21 |
Plain Text |
x
y1 y2 y3
z1 z2 z3
[ F ] tri-curry@ tri-curry* tri
=> x
y1 y2 y3
[ z1 F ]
[ z2 F ]
[ z3 F ]
tri-curry* tri
=> x
[ y1 z1 F ]
[ y2 z2 F ]
[ y3 z3 F ]
tri
=> x y1 z1 F
x y2 z2 F
x y3 z3 F
Author: | pruned |
Mode: | factor |
Date: | Fri, 29 Jan 2010 18:42:49 |
Plain Text |
x
y1 y2 y3
z1 z2 z3
3array [ 3array ] dip zip [ first2 F ] with map
=>
x
{ { y1 z1 } { y2 z2 } { y3 z3 } }
[ first2 F ] with map
=>
{ { y1 z1 } { y2 z2 } { y3 z3 } }
[ x swap first2 F ] map
=>
x y1 z1 F
x y2 z2 F
x y3 z3 F
3array
New Annotation