Minor optimization to flip
parent
7ad6d34212
commit
2a3db4cd23
|
@ -845,9 +845,10 @@ PRIVATE>
|
||||||
USE: arrays
|
USE: arrays
|
||||||
|
|
||||||
: array-length ( array -- len )
|
: array-length ( array -- len )
|
||||||
{ array } declare length>> ;
|
{ array } declare length>> ; inline
|
||||||
|
|
||||||
: array-flip ( matrix -- newmatrix )
|
: array-flip ( matrix -- newmatrix )
|
||||||
|
{ array } declare
|
||||||
[ dup first array-length [ array-length min ] reduce ] keep
|
[ dup first array-length [ array-length min ] reduce ] keep
|
||||||
[ [ array-nth ] with { } map-as ] curry { } map-as ;
|
[ [ array-nth ] with { } map-as ] curry { } map-as ;
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue